summaryrefslogtreecommitdiff
path: root/lib/CheckMap.hs
diff options
context:
space:
mode:
authorstuebinm2021-12-23 17:54:00 +0100
committerstuebinm2021-12-23 17:54:00 +0100
commite0d76fc6d740335454b4a23013d50af7f2513af4 (patch)
tree3167d21d7694d006be0d839475996b931c4cd1fd /lib/CheckMap.hs
parent9fd195314d30658052d2bdfd3bcd7a1da4485bed (diff)
disallow properties with different capitalisations
since apparently sometimes workadventure is case-insensitive, and sometimes it's not
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions