# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1484546760 -32400
# Node ID b50d4334d6f798067078bcacc12fa6ceb3f4c7c6
# Parent  56fe9667efa828d97e95bfdaa147011150675d47
Add .hgignore

diff -r 56fe9667efa8 -r b50d4334d6f7 .hgignore
--- /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~
+