changeset 1:b50d4334d6f7

Add .hgignore
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Jan 2017 15:06:00 +0900
parents 56fe9667efa8
children a8d3cbdebb3e
files .hgignore
diffstat 1 files changed, 22 insertions(+), 0 deletions(-) [+]
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~
+