diff options
author | Jakob Odersky <jodersky@gmail.com> | 2013-02-26 16:40:45 +0100 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2013-02-26 16:40:45 +0100 |
commit | 75f3802ae3b30138673da8d900a9c45ec0373a20 (patch) | |
tree | d4415609209af8ffd9a04a6ae3bf6d4eebcde672 /specification/.gitignore | |
parent | 5d4fd43bbccd3b1da97d3139b95eab9173777bef (diff) | |
download | ace-75f3802ae3b30138673da8d900a9c45ec0373a20.tar.gz ace-75f3802ae3b30138673da8d900a9c45ec0373a20.tar.bz2 ace-75f3802ae3b30138673da8d900a9c45ec0373a20.zip |
move specification out of latex subdirectory
Diffstat (limited to 'specification/.gitignore')
-rw-r--r-- | specification/.gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/specification/.gitignore b/specification/.gitignore new file mode 100644 index 0000000..0a586be --- /dev/null +++ b/specification/.gitignore @@ -0,0 +1,5 @@ +*~ +*.log +*.backup +*.aux +*.toc |