Mercurial > hg > Papers > 2018 > nozomi-master
view .hgignore @ 189:1369f653e34e default tip
fix
author | Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 01 Mar 2018 15:04:46 +0900 (2018-03-01) |
parents | 6bf2e0196a1e |
children |
line wrap: on
line source
syntax: glob .DS_Store *.swp *.*~ *.bbl *.blg *.lof *.lol *.lot *.log *.aux *.dvi *.toc *.cpt *.idx *.agda.replaced *.agdai *.agda~ *.xbb