diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -1,3 +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 | 11 |
@@ -1,3 +1,14 @@ /impl/build/* /impl/parser/* +*.log +*.dvi +*.ps +*.aux +*.blg +*.bbl +*.toc +*.lof +*.lot +*.out +*~ gmon.out |