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 /nix/sources.nix | |
parent | 9fd195314d30658052d2bdfd3bcd7a1da4485bed (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