diff options
| author | Jakob Odersky <jodersky@gmail.com> | 2013-02-26 16:35:05 +0100 |
|---|---|---|
| committer | Jakob Odersky <jodersky@gmail.com> | 2013-02-26 16:35:05 +0100 |
| commit | ac31762b462f37d49999daae8dba7763d8d870b3 (patch) | |
| tree | d0866e11315650b583ce840df2170468db565e1a /specification/.gitignore | |
| parent | e15a7e1267a6f733d734c5d3b59f3acc28bb4b29 (diff) | |
| download | ace-ac31762b462f37d49999daae8dba7763d8d870b3.tar.gz ace-ac31762b462f37d49999daae8dba7763d8d870b3.tar.bz2 ace-ac31762b462f37d49999daae8dba7763d8d870b3.zip | |
write specification
Diffstat (limited to 'specification/.gitignore')
| -rw-r--r-- | specification/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/specification/.gitignore b/specification/.gitignore deleted file mode 100644 index b25c15b..0000000 --- a/specification/.gitignore +++ /dev/null @@ -1 +0,0 @@ -*~ |