diff options
author | stuebinm | 2022-10-11 14:09:36 +0200 |
---|---|---|
committer | stuebinm | 2022-10-11 14:09:36 +0200 |
commit | b46a545bc4bd48e089338f52a812c401fe2aff0d (patch) | |
tree | f66399ad533ac5995395c65ae799e5dd35c24cbd /lib | |
parent | 8f23174ee2079e57c336b1ae84837689fd781214 (diff) |
remove mentions of divoc
Diffstat (limited to 'lib')
-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 ab4cf45..e72bfd0 100644 --- a/lib/Properties.hs +++ b/lib/Properties.hs @@ -434,7 +434,7 @@ checkTileThing removeExits p@(Property name _value) = case name of complain $ "Old-Style inter-repository links (using {<placeholder>}) \ \cannot be used at "<>eventslug<>"; please use world:// \ - \instead (see https://di.c3voc.de/howto:world)." + \instead (see the howto)." | ext == "tmx" -> complain "Cannot use .tmx map format; use Tiled's json export instead." | ext /= "json" -> |