walint - A linter for workadventure maps

	Commit message (Expand)	Author	Age	Files	Lines
*	deal with group layer in existence checks properly	stuebinm	2021-12-14	1	-11/+20
*	allow scripts from https://static.rc3.world/scripts	stuebinm	2021-12-14	1	-15/+10
*	downgrade disallowed path-related lint levels	stuebinm	2021-12-14	1	-3/+3
*	audioVolumne is of type float, not int	stuebinm	2021-12-14	1	-4/+19
*	startLayer can actually be set to `false`	stuebinm	2021-12-14	1	-3/+2
*	refuse doubled map properties	stuebinm	2021-12-13	1	-1/+2
*	complain if map links that don't go to .json files	stuebinm	2021-12-13	1	-6/+14
*	add special warning for rc3 old-style links	stuebinm	2021-12-13	1	-2/+5
*	changes to tiled map format	stuebinm	2021-12-13	1	-1/+4
*	downgrad mapCopyright lint to suggestion	stuebinm	2021-12-12	1	-1/+1
*	better lints for invalid links	stuebinm	2021-12-12	1	-18/+15
*	lints for names that are used more than twice	stuebinm	2021-12-12	1	-7/+13
*	handle text objects in objectgroup layers	stuebinm	2021-12-12	1	-16/+21
*	lint individual tile properties	stuebinm	2021-12-12	1	-1/+15
*	rudimentary linting for overlapping layers	stuebinm	2021-12-08	1	-0/+17
*	fix mapCopyright lint	stuebinm	2021-12-08	1	-3/+3
*	properties: copyright → tilesetCopyright	stuebinm	2021-12-07	1	-2/+2
*	require mapCopyright to be set	stuebinm	2021-12-07	1	-0/+3
*	lots of code reorganising and some deduplication	stuebinm	2021-12-04	1	-92/+117
*	refuse doubled names	stuebinm	2021-12-04	1	-15/+33
*	collect badges from object layers	stuebinm	2021-12-02	1	-9/+57
*	do (naïve) html escaping	stuebinm	2021-12-02	1	-6/+11
*	prepend jitsi room names with assembly tag	stuebinm	2021-11-30	1	-2/+7
*	jitsiRoomAdminTag: prepend "assembly-" before name	stuebinm	2021-11-30	1	-0/+2
*	allow unknown properties	stuebinm	2021-11-30	1	-11/+2
*	rudimentary emulation of bbbRoom etc.	stuebinm	2021-11-30	1	-4/+26
*	various fixes to bugs	stuebinm	2021-11-28	1	-34/+34
*	make link adjustments configurable	stuebinm	2021-11-20	1	-24/+35
*	add domain allow- and blocklists for weblinks	stuebinm	2021-11-19	1	-4/+14
*	add lint for empty group layers	stuebinm	2021-11-19	1	-0/+7
*	deal with group layers	stuebinm	2021-11-19	1	-5/+0
*	assorted lints for properties found in some maps	stuebinm	2021-11-18	1	-17/+56
*	add warnings for as-yet unlinted layer properties	stuebinm	2021-11-17	1	-0/+9
*	make map parser work with more maps	stuebinm	2021-11-17	1	-2/+14
*	reject map urls starting with /_/	stuebinm	2021-11-16	1	-3/+6
*	add adjustment: add prefix for openWebsite	stuebinm	2021-11-16	1	-2/+5
*	config options: implement script-related options	stuebinm	2021-11-14	1	-2/+13
*	Functional jitsiRoomAdminTag adjustment	stuebinm	2021-11-14	1	-6/+11
*	little code cleanup	stuebinm	2021-11-10	1	-1/+1
*	first example of a map adjustment	stuebinm	2021-11-09	1	-10/+21
*	monad plumbing to let the linter modify things	stuebinm	2021-11-02	1	-1/+1
*	better lint messages	stuebinm	2021-10-30	1	-10/+10
*	re-enable dependency checking	stuebinm	2021-10-30	1	-2/+3
*	make aeson instances agree with themselves	stuebinm	2021-10-30	1	-14/+7
*	more sensible msg for "property required by"-lints	stuebinm	2021-10-30	1	-1/+8
*	add tileset property linting	stuebinm	2021-10-30	1	-6/+23
*	add warning for very large tileset images	stuebinm	2021-10-30	1	-2/+3
*	simple map-map link dependency checking	stuebinm	2021-09-30	1	-1/+4
*	very naïve handling of directories	stuebinm	2021-09-23	1	-1/+1
*	use PrettyPrinter more	stuebinm	2021-09-20	1	-4/+3