1 files changed, 1 insertions, 0 deletions

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