Skip to content
Snippets Groups Projects
stuebinm's avatar
stuebinm authored
this just checks for maps from which it's impossible to reach
`main.json`, and then gives a warning. Properly it should check if these
maps have an exit to outside the repository (in which case it may give a
suggestion, and an error otherwise).

Also, redid some of the CheckDir code. No idea what that mess was, but
it's marginally nicer now.
1c90b431
History
Name Last commit Last update