diff options
| author | stuebinm | 2021-12-12 19:57:25 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-12 19:57:25 +0100 |
| commit | de1b45be15f8bd1a2cba3491b6d0a17aeb3c8f3d (patch) | |
| tree | c4ce1ea1a9229f5c5d4842081b93b5125ab3f2ae | |
| parent | 31341b2ca45043c04750c7dee64fdf68ad142450 (diff) | |
downgrad mapCopyright lint to suggestion
(as per today's discussion with tabascoeye, mapCopyright should not be
required, though I've left it as recommended)
Diffstat (limited to '')
| -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 1d01216..0bd3d55 100644 --- a/lib/Properties.hs +++ b/lib/Properties.hs @@ -73,7 +73,7 @@ checkMap = do $ complain "The map's tile size must be 32 by 32 pixels." unlessHasProperty "mapCopyright" - $ complain "must give the map's copyright via the \"mapCopyright\" property." + $ suggest "document the map's copyright via the \"mapCopyright\" property." -- TODO: this doesn't catch collisions with the default start layer! whenLayerCollisions (\(Property name _) -> name == "exitUrl" || name == "startLayer") |