diff options
| author |  wuestholz <unknown> | 2014-09-28 12:57:40 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-09-28 12:57:40 +0200 |
| commit | 4a8ec31bbffa4b1d79255895dd3b9e24539cbba5 (patch) | |
| tree | 382ca1408679f0d04d16a9930207442bb2f3a50e | |
| parent | 0cd6f5a6bb63c9c6aa184e83a6ed497c948f9413 (diff) | |
DafnyExtension: Ignore copied file.
| -rw-r--r-- | .hgignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -12,4 +12,4 @@ syntax: glob *.dll
*.tmp
*.tmp.dfy
-dafny_all_filesThat_Change.txt
+Source/DafnyExtension/DafnyRuntime.cs
|