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 /.hgignore | |
| parent | 77143c833cbb14a20c704fb60fc28dd94edb44eb (diff) | |
added ignored files
Diffstat (limited to '.hgignore')
| -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
|