tree a6eb553b4bbe04c75b64268069e6e465e5291199
parent af541c2972cf55eba702a8fddc086ab48260b330
author dkolovos <dkolovos@cs.york.ac.uk> 1476366984 +0100
committer dkolovos <dkolovos@cs.york.ac.uk> 1476366984 +0100

Added repo-wide .gitignore