summaryrefslogtreecommitdiff
path: root/Lints.md
diff options
context:
space:
mode:
authorstuebinm2021-12-17 17:38:33 +0100
committerstuebinm2021-12-17 17:38:33 +0100
commit1c90b43172d14a8132711f8ec252de7b936ea6e1 (patch)
treecc7dfd6fb55e3785f5ada1d9ffc592b209ce7a61 /Lints.md
parent38f2d4dc71ea616aae44b6c8ff9653f556f0623f (diff)
some simple graph algorithms
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.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions