diff options
author | Jakob Odersky <jodersky@gmail.com> | 2013-02-25 19:39:53 +0100 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2013-02-25 19:39:53 +0100 |
commit | e15a7e1267a6f733d734c5d3b59f3acc28bb4b29 (patch) | |
tree | 9d9c513492939c4467c0932a25291a63d787a7ca /specification/.gitignore | |
download | ace-e15a7e1267a6f733d734c5d3b59f3acc28bb4b29.tar.gz ace-e15a7e1267a6f733d734c5d3b59f3acc28bb4b29.tar.bz2 ace-e15a7e1267a6f733d734c5d3b59f3acc28bb4b29.zip |
initial commit
Diffstat (limited to 'specification/.gitignore')
-rw-r--r-- | specification/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/specification/.gitignore b/specification/.gitignore new file mode 100644 index 0000000..b25c15b --- /dev/null +++ b/specification/.gitignore @@ -0,0 +1 @@ +*~ |