diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-05 10:25:19 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-05 10:25:19 +1000 |
| commit | 608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb (patch) | |
| tree | 02a4f4136e50af3865df5acefc9174f73004c10a /.gitignore | |
| parent | 35d53c78a4afd739d1246db486f2703e44590eda (diff) | |
Delete a lot of tex stuff, better debug info
Some other stuff, too, I think. Oh well. No biggie!
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1 +1,2 @@ /impl/build/* +/impl/parser/* |