commit | 000657f73c0f62765effed309f5c7bcbb86e0bce | [log] [tgz] |
---|---|---|
author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Mon Mar 29 20:44:49 2021 +0100 |
committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Mon Mar 29 20:44:49 2021 +0100 |
tree | 03d6953e29b4bc272f2c27e82c0567b6e09c3f6c | |
parent | dbbbfa421772cc9d4c3e72b8489ab5835f878cc4 [diff] |
Try upper-case version of key too in StringProperties