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