walint - A linter for workadventure maps

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