Skip to content
Snippets Groups Projects
Commit de1b45be authored by stuebinm's avatar stuebinm
Browse files

downgrad mapCopyright lint to suggestion

(as per today's discussion with tabascoeye, mapCopyright should not be
required, though I've left it as recommended)
parent 31341b2c
No related branches found
No related tags found
No related merge requests found
......@@ -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")
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment