| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | switch to universum prelude | stuebinm | 2022-02-18 | 1 | -10/+8 |
| | | | | | also don't keep adjusted maps around if not necessary | ||||
| * | 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. | |||||
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |