From 5166756cdcf8a3979176006cde2a4f0db5b09ebf Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbarenblat@galois.com>
Date: Mon, 13 Jan 2014 15:39:44 -0800
Subject: Initial commit

---
 .gitignore | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 .gitignore

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..d5e783d
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,10 @@
+# .gitignore for hierarchical-exceptions                           -*- conf -*-
+# This file is in the public domain.
+
+# Editor backup files
+*~
+\#*
+.\#*
+
+# Cabal
+dist*/
-- 
cgit v1.2.3