From 45638021e2d82e5cd16621ce5a0909ba9804eeaf Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 21 May 2013 14:13:05 -0700
Subject: Updated several project files.

Note that the 'boogie' directory is expected to be a sibling of the
'dafny' directory.
---
 .hgignore | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 .hgignore

(limited to '.hgignore')

diff --git a/.hgignore b/.hgignore
new file mode 100644
index 00000000..bdb60e95
--- /dev/null
+++ b/.hgignore
@@ -0,0 +1,13 @@
+syntax: regexp
+^Source/.*\.(user|suo|cache|vs10x)$
+^Binaries/.*\.(dll|pdb|exe|manifest|config|smt2|vsix|vsixmanifest|bpl)$
+^Source/.*\.(smt2|bpl)$
+^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
+Test/.*/Output
+Test/([^/]*)/([^/]*)\.sx
+syntax: glob
+*.exe
+*.pdb
+*.dll
+*.tmp
+*.tmp.dfy
-- 
cgit v1.2.3