Mercurial > hg > Papers > 2018 > nozomi-master
view .hgignore @ 49:7f1b5c33b282
Add agda.tex
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 30 Jan 2017 16:59:53 +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