Mercurial > hg > Papers > 2018 > nozomi-master
view .hgignore @ 68:804d4b0b8c6e
Update TODO
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 04 Feb 2017 16:19:41 +0900 |
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