Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2022-03-19 | unbreak a very, very long rebase | stuebinm | 1 | -1/+1 | |
2022-03-19 | switch to universum prelude | stuebinm | 1 | -25/+18 | |
also don't keep adjusted maps around if not necessary | |||||
2021-12-30 | add dot language output for repository map graphs | stuebinm | 1 | -18/+42 | |
2021-12-17 | simple graphviz visualisation of a repository | stuebinm | 1 | -2/+20 | |
might be useful to have | |||||
2021-12-17 | some simple graph algorithms | stuebinm | 1 | -0/+49 | |
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. |