diff options
| author | stuebinm | 2021-12-23 17:54:00 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-23 17:54:00 +0100 |
| commit | e0d76fc6d740335454b4a23013d50af7f2513af4 (patch) | |
| tree | 3167d21d7694d006be0d839475996b931c4cd1fd /lib/CheckMap.hs | |
| parent | 9fd195314d30658052d2bdfd3bcd7a1da4485bed (diff) | |
disallow properties with different capitalisations
since apparently sometimes workadventure is case-insensitive, and
sometimes it's not
Diffstat (limited to 'lib/CheckMap.hs')
0 files changed, 0 insertions, 0 deletions