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