walint - A linter for workadventure maps

	Commit message (Expand)	Author	Age	Files	Lines
*	a year went byHEAD main	stuebinm	2023-10-24	1	-86/+0
*	switch to universum prelude	stuebinm	2022-03-19	1	-16/+15
*	sprinkle some NFData everywhere	stuebinm	2022-03-19	1	-1/+5
*	disallow double courly braces	stuebinm	2021-12-21	1	-1/+1
*	disallow extended API variables in links	stuebinm	2021-12-20	1	-2/+8
*	fixed some warnings (and disabled others)	stuebinm	2021-12-16	1	-1/+1
*	fixed & removed a bunch of old TODOs	stuebinm	2021-12-16	1	-1/+2
*	suggest setting map meta properties if not given	stuebinm	2021-12-15	1	-1/+1
*	complain if map links that don't go to .json files	stuebinm	2021-12-13	1	-0/+6
*	add special warning for rc3 old-style links	stuebinm	2021-12-13	1	-0/+8
*	make link adjustments configurable	stuebinm	2021-11-20	1	-12/+9
*	add domain allow- and blocklists for weblinks	stuebinm	2021-11-19	1	-0/+10
*	simple map-map link dependency checking	stuebinm	2021-09-30	1	-1/+6
*	some documentation	stuebinm	2021-09-23	1	-3/+9
*	handle all maps in entire repositories	stuebinm	2021-09-23	1	-6/+10
*	very naïve handling of directories	stuebinm	2021-09-23	1	-4/+13
*	typechecking for path depths!	stuebinm	2021-09-20	1	-0/+31