commit | 2cdccd6feb657025f94d2fa0ee5bb17a72991142 | [log] [tgz] |
---|---|---|
author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sat Dec 12 17:47:49 2020 +0000 |
committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sat Dec 12 17:47:49 2020 +0000 |
tree | bc75d4535a290f7218a2a8f6264ccbd3b25df71f | |
parent | 2f86119f92d19dbfd50fe0ed9e4d397889811c0c [diff] |
Added lib to .gitignore