Mercurial > hg > Papers > 2018 > nozomi-master

diff .hgignore @ 1:b50d4334d6f7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add .hgignore
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Jan 2017 15:06:00 +0900
parents
children 715c01485a03
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Mon Jan 16 15:06:00 2017 +0900
@@ -0,0 +1,22 @@
+syntax: glob
+
+.DS_Store
+
+*.swp
+*.*~
+
+*.bbl
+*.blg
+*.lof
+*.lol
+*.lot
+*.log
+*.aux
+*.dvi
+*.toc
+*.cpt
+
+*.agda.replaced
+*.agdai
+*.agda~
+