diff options
author | stuebinm | 2021-12-17 17:38:33 +0100 |
---|---|---|
committer | stuebinm | 2021-12-17 17:38:33 +0100 |
commit | 1c90b43172d14a8132711f8ec252de7b936ea6e1 (patch) | |
tree | cc7dfd6fb55e3785f5ada1d9ffc592b209ce7a61 /Lints.md | |
parent | 38f2d4dc71ea616aae44b6c8ff9653f556f0623f (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