1 files changed, 3 insertions, 1 deletions
diff --git a/.hgignore b/.hgignore
index 9fc841bd..a52bee3a 100644
--- a/.hgignore
+++ b/.hgignore
@@ -1,6 +1,6 @@
 syntax: regexp
 ^Source/.*\.(user|suo|cache|vs10x)$
-^Binaries/.*\.(dll|pdb|exe|manifest|config|smt2|vsix|vsixmanifest|bpl|pkgdef)$
+^Binaries/.*\.(dll|pdb|exe|manifest|config|smt2|vsix|vsixmanifest|bpl|pkgdef|xml)$
 ^Source/.*\.(smt2|bpl)$
 ^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
 Test/.*/Output
@@ -21,4 +21,6 @@ syntax: glob
 *.tmp
 *.tmp.dfy
 Source/DafnyExtension/DafnyRuntime.cs
+Source/DafnyExtension/Z3-LICENSE.txt
 Test/failing.lst
+packages/*