Mercurial > hg > Gears > GearsAgda

changeset 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 efc68eca8463
children b0c6e0392b00
files .hgignore
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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