diff options
author | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-07-18 21:17:50 +0300 |
---|---|---|
committer | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-07-18 21:17:50 +0300 |
commit | 18f9f3e8e20c4c7c302a7e6042ffbce2dde82cdc (patch) | |
tree | d891ee8fcc26a8d405666d1fc5dffef927a3cb32 | |
parent | 77143c833cbb14a20c704fb60fc28dd94edb44eb (diff) |
added ignored files
-rw-r--r-- | .hgignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -12,3 +12,4 @@ syntax: glob *.dll
*.tmp
*.tmp.dfy
+dafny_all_filesThat_Change.txt
|