Mercurial > hg > Gears > GearsAgda

diff .hgignore @ 163:f0c144c3861d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update .hgignore
author atton
date Thu, 17 Nov 2016 18:25:20 +0000
parents 547c23f3a898
children 9f8a87389b68
line wrap: on
line diff
--- a/.hgignore	Thu Nov 17 18:24:34 2016 +0000
+++ b/.hgignore	Thu Nov 17 18:25:20 2016 +0000
@@ -2,6 +2,7 @@
 
 *.swp
 *.o
+*.agdai
 
 # CMake
 CMakeCache.txt