walint - A linter for workadventure maps

Branch	Commit message	Author	Age
main	a year went by	stuebinm	6 months
playground	server: small html improvements	stuebinm	2 years
structured-badges	change badge output format	stuebinm	2 years


Age	Commit message	Author	Files	Lines
2021-12-16	change badge output formatstructured-badges	stuebinm	2	-15/+7
2021-12-16	print list of maps in output json	stuebinm	1	-0/+1
2021-12-16	made a partial function total	stuebinm	1	-0/+2
2021-12-16	we don't support ellipses	stuebinm	2	-9/+5
2021-12-15	suggest setting map meta properties if not given	stuebinm	3	-5/+18
2021-12-14	deal with group layer in existence checks properly	stuebinm	1	-11/+20
2021-12-14	allow scripts from https://static.rc3.world/scripts	stuebinm	1	-15/+10
2021-12-14	downgrade disallowed path-related lint levels	stuebinm	1	-3/+3
2021-12-14	audioVolumne is of type float, not int	stuebinm	2	-16/+43
2021-12-14	startLayer can actually be set to `false`	stuebinm	1	-3/+2
[...]