walint - A linter for workadventure maps

	Commit message (Expand)	Author	Age	Files	Lines
*	separate tiled modules out into own package	stuebinm	2022-02-28	10	-12/+42
*	server: write out adjusted maps	stuebinm	2022-02-25	6	-27/+69
*	remove unused dependencies	stuebinm	2022-02-18	2	-6/+0
*	switch to universum prelude	stuebinm	2022-02-18	24	-287/+279
*	sprinkle some NFData everywhere	stuebinm	2022-02-17	11	-39/+61
*	server: remove a thunk leak	stuebinm	2022-02-17	4	-22/+34
*	update nix build system	stuebinm	2022-02-16	2	-4/+4
*	server: exneuland wants a token, apparently	stuebinm	2022-02-16	3	-19/+17
*	server: post map updates to exneuland's API	stuebinm	2022-02-16	5	-20/+71
*	server: remove cli-git, cli-extras	stuebinm	2022-02-16	4	-42/+58
*	server: add mapservice GET endpoint	stuebinm	2022-02-16	6	-57/+75
*	internal state: sort according to org	stuebinm	2022-02-16	7	-45/+84
*	server: repositores & orgs fixed in config	stuebinm	2022-02-16	8	-199/+245
*	… several hours of fighting with TOML later	stuebinm	2022-02-16	6	-71/+115
*	server: switch to universum prelude, some cleanup	stuebinm	2022-02-15	10	-146/+1186
*	add haskell.nix build system	stuebinm	2022-02-12	5	-4/+57
*	don't fail compilation if git is unavailable	stuebinm	2022-02-12	1	-1/+3
*	server: added (somewhat) sensible logging	stuebinm	2022-02-12	4	-66/+75
*	server: more debug output	stuebinm	2022-02-11	1	-1/+1
*	server: admin interface	stuebinm	2022-02-11	5	-65/+118
*	server: present lint results in pretty html	stuebinm	2022-02-11	11	-47/+2359
*	server: simple servant-lucid stuff	stuebinm	2022-02-10	8	-12/+111
*	server: simple toml config	stuebinm	2022-02-07	5	-17/+49
*	server: proper job handling	stuebinm	2022-02-07	5	-67/+114
*	non-blocking server	stuebinm	2022-02-07	6	-94/+134
*	basic server setup (using servant)	stuebinm	2022-02-01	7	-3/+274
*	use hpack and clean up modules	stuebinm	2022-01-15	14	-156/+228
*	playing around with types	stuebinm	2022-01-02	4	-1/+40
*	use url package for parsing of urls	jonny	2022-01-02	3	-13/+32
*	fixed url injection by means of starting an url with "." and turning the pref...	jonathan	2022-01-02	1	-1/+1
*	script links can't contain @	stuebinm	2022-01-02	1	-1/+3
*	open BBBs in new Tab so that they work now :/	tabascoeye	2022-01-02	1	-2/+2
*	wa gets an extra ausgang	stuebinm	2022-01-02	1	-1/+1
*	SECURITY: Fix path traversal in script verification	Serge Bazanski	2022-01-02	1	-2/+3
*	fix bbb urls a second time …	stuebinm	2022-01-02	1	-5/+1
*	warn if main.json does not link back to lobby	stuebinm	2022-01-02	1	-6/+13
*	allow live.dort.c3voc.de for audio	stuebinm	2022-01-02	1	-1/+1
*	I would like to show the fahrplan in an iframe. Please allow	tabascoeye	2022-01-02	1	-1/+1
*	fix bbb url resolution	stuebinm	2022-01-02	1	-1/+1
*	allow *.streamproxy.rc3.world	stuebinm	2022-01-02	1	-1/+2
*	type systems don't protect against off-by-one	stuebinm	2022-01-02	1	-1/+1
*	urlencode dereferrer links	stuebinm	2022-01-02	2	-3/+4
*	openWebsiteTriggerMessage can also be used for openTab	stuebinm	2022-01-02	1	-2/+8
*	Allow to copy sounds for custom JS with ObjectProperty `loadSound`	Sven G. Brönstrup	2021-12-26	1	-1/+1
*	separate blocking for separate contexts	stuebinm	2021-12-26	5	-32/+56
*	missing entrypoints can be non-fatal	stuebinm	2021-12-26	1	-7/+8
\|\
\| *	index on main: ee61cc5 change lint msg for property suggestions	stuebinm	2021-12-26	0	-0/+0
\|/
*	change lint msg for property suggestions	stuebinm	2021-12-26	1	-1/+1
*	allow cdn.c3voc.de for audio streams	stuebinm	2021-12-25	1	-2/+2
*	add lint if people set tilesetCopyright on tiles	stuebinm	2021-12-25	1	-0/+2