| commit | 6d7e669717bf799def1f06bdd3c8195e1b2f37b4 | [log] [tgz] |
|---|---|---|
| author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Fri Jan 10 20:00:17 2020 +0000 |
| committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Fri Jan 10 20:03:13 2020 +0000 |
| tree | f7d2c2228ec5589b96030832cb8b010adc00fd0c | |
| parent | 46b7e3f69294380ffc24a9f9c16a9158f5a7223d [diff] |
Windows compatibility tweaks for Picto