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 |