diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-10-30 20:56:38 +1100 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-10-30 20:56:38 +1100 |
| commit | 6a4786bde976e9a023c7f65a395384d214c5102c (patch) | |
| tree | f3dd303f21dfa0be269a932dd05438041a290f27 /.gitignore | |
| parent | ff2030f3a19926334fbe3a043c5f88622c17c2f8 (diff) | |
| parent | 95b82ea3830c3a34455323167894647e3aa773a6 (diff) | |
Merge branch 'master' of ssh://bitbucket.org/czan/honours
Conflicts:
impl/test/run
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 |