summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar wuestholz <unknown>2014-09-28 12:57:40 +0200
committerGravatar wuestholz <unknown>2014-09-28 12:57:40 +0200
commit4a8ec31bbffa4b1d79255895dd3b9e24539cbba5 (patch)
tree382ca1408679f0d04d16a9930207442bb2f3a50e
parent0cd6f5a6bb63c9c6aa184e83a6ed497c948f9413 (diff)
DafnyExtension: Ignore copied file.
-rw-r--r--.hgignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.hgignore b/.hgignore
index 95b7d862..ecf4ed7b 100644
--- a/.hgignore
+++ b/.hgignore
@@ -12,4 +12,4 @@ syntax: glob
*.dll
*.tmp
*.tmp.dfy
-dafny_all_filesThat_Change.txt
+Source/DafnyExtension/DafnyRuntime.cs