diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -1,2 +1,14 @@ /impl/build/* /impl/parser/* +*.log +*.dvi +*.ps +*.aux +*.blg +*.bbl +*.toc +*.lof +*.lot +*.out +*~ +gmon.out |
index : honours | ||
My honours project from 2012. | Carlo |
summaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 12 |
@@ -1,2 +1,14 @@ /impl/build/* /impl/parser/* +*.log +*.dvi +*.ps +*.aux +*.blg +*.bbl +*.toc +*.lof +*.lot +*.out +*~ +gmon.out |