diff .hgignore @ 3:715c01485a03

Import files for compile
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Jan 2017 15:18:03 +0900
parents b50d4334d6f7
children 6bf2e0196a1e
line wrap: on
line diff
--- a/.hgignore	Mon Jan 16 15:11:47 2017 +0900
+++ b/.hgignore	Mon Jan 16 15:18:03 2017 +0900
@@ -15,6 +15,7 @@
 *.dvi
 *.toc
 *.cpt
+*.idx
 
 *.agda.replaced
 *.agdai