| 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