tree 030f38134af2ba9f0353d918264e58ec85705f31
parent d8cde97c576710b4981e61b303c75e4968bce7a7
author Dimitris Kolovos <dkolovos@cs.york.ac.uk> 1613556865 +0000
committer Dimitris Kolovos <dkolovos@cs.york.ac.uk> 1613556865 +0000

Removed obsolete readme.txt