From 18f9f3e8e20c4c7c302a7e6042ffbce2dde82cdc Mon Sep 17 00:00:00 2001
From: Reza Ahmadi <reza.ahmadi@uta.fi>
Date: Fri, 18 Jul 2014 21:17:50 +0300
Subject: added ignored files

---
 .hgignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.hgignore')

diff --git a/.hgignore b/.hgignore
index a1219ed2..95b7d862 100644
--- a/.hgignore
+++ b/.hgignore
@@ -12,3 +12,4 @@ syntax: glob
 *.dll
 *.tmp
 *.tmp.dfy
+dafny_all_filesThat_Change.txt
-- 
cgit v1.2.3