| commit | f6624a0ccf564ecf8a5e6b72c22fb918218f9b06 | [log] [tgz] |
|---|---|---|
| author | dkolovos <dkolovos@cs.york.ac.uk> | Thu Oct 13 14:56:24 2016 +0100 |
| committer | dkolovos <dkolovos@cs.york.ac.uk> | Thu Oct 13 14:56:24 2016 +0100 |
| tree | a6eb553b4bbe04c75b64268069e6e465e5291199 | |
| parent | af541c2972cf55eba702a8fddc086ab48260b330 [diff] |
Added repo-wide .gitignore