diff options
| author | stuebinm | 2021-12-20 13:07:49 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-20 13:08:48 +0100 |
| commit | 5c69c3118d60ff445905201669bd48cc8d2ed909 (patch) | |
| tree | ebb3e85d0c1b09ec752a4d0395a8261aeac1a404 | |
| parent | 5c843aec6f9aafb37cf5d166e6ae74974e773daf (diff) | |
something something encoding mismatch
| -rw-r--r-- | lib/Properties.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs index 05020f5..94cfe24 100644 --- a/lib/Properties.hs +++ b/lib/Properties.hs @@ -135,7 +135,7 @@ checkTileset = do -- reject tilesets unsuitable for workadventure unless (tilesetTilewidth tileset == 32 && tilesetTileheight tileset == 32) - $ complain "Tilesets must have tile size 32×32." + $ complain "Tilesets must have tile size 32x32." unless (tilesetImageheight tileset < 4096 && tilesetImagewidth tileset < 4096) $ warn "Tilesets should not be larger than 4096x4096 pixels in total." |