| commit | 9eee6038bae1847b1ed5ec4acb31aa0c1bb692e7 | [log] [tgz] |
|---|---|---|
| author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Mon Mar 29 23:06:12 2021 +0100 |
| committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Mon Mar 29 23:06:12 2021 +0100 |
| tree | 56666f060cae1e841cdda102380f6607696479f8 | |
| parent | 000657f73c0f62765effed309f5c7bcbb86e0bce [diff] |
Try lower-case key too in StringProperties