From e15a7e1267a6f733d734c5d3b59f3acc28bb4b29 Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jodersky@gmail.com>
Date: Mon, 25 Feb 2013 19:39:53 +0100
Subject: initial commit

---
 specification/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 specification/.gitignore

(limited to 'specification/.gitignore')

diff --git a/specification/.gitignore b/specification/.gitignore
new file mode 100644
index 0000000..b25c15b
--- /dev/null
+++ b/specification/.gitignore
@@ -0,0 +1 @@
+*~
-- 
cgit v1.2.3