commit | 37b3f04154022c56758dcaf0c2649ba778e700d0 | [log] [tgz] |
---|---|---|
author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sat Jan 11 00:59:54 2020 +0000 |
committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sat Jan 11 00:59:54 2020 +0000 |
tree | 160c56466e5793a7cc62acb6457b9101c04ce41b | |
parent | 6d7e669717bf799def1f06bdd3c8195e1b2f37b4 [diff] |
More compatibility tweaks for Windows