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/latex/.gitignore | |
| parent | e15a7e1267a6f733d734c5d3b59f3acc28bb4b29 (diff) | |
| download | ace-ac31762b462f37d49999daae8dba7763d8d870b3.tar.gz ace-ac31762b462f37d49999daae8dba7763d8d870b3.tar.bz2 ace-ac31762b462f37d49999daae8dba7763d8d870b3.zip | |
write specification
Diffstat (limited to 'specification/latex/.gitignore')
| -rw-r--r-- | specification/latex/.gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/specification/latex/.gitignore b/specification/latex/.gitignore new file mode 100644 index 0000000..0a586be --- /dev/null +++ b/specification/latex/.gitignore @@ -0,0 +1,5 @@ +*~ +*.log +*.backup +*.aux +*.toc |