walint - A linter for workadventure maps

	Commit message (Expand)	Author	Age	Files	Lines
*	server: write out adjusted maps	stuebinm	2022-02-25	1	-4/+12
*	switch to universum prelude	stuebinm	2022-02-18	1	-1/+4
*	sprinkle some NFData everywhere	stuebinm	2022-02-17	1	-5/+12
*	server: remove a thunk leak	stuebinm	2022-02-17	1	-4/+17
*	server: exneuland wants a token, apparently	stuebinm	2022-02-16	1	-6/+9
*	server: post map updates to exneuland's API	stuebinm	2022-02-16	1	-8/+21
*	server: add mapservice GET endpoint	stuebinm	2022-02-16	1	-5/+11
*	internal state: sort according to org	stuebinm	2022-02-16	1	-14/+50
*	server: repositores & orgs fixed in config	stuebinm	2022-02-16	1	-59/+58
*	… several hours of fighting with TOML later	stuebinm	2022-02-16	1	-30/+52
*	server: switch to universum prelude, some cleanup	stuebinm	2022-02-15	1	-18/+22
*	server: admin interface	stuebinm	2022-02-11	1	-34/+30
*	server: present lint results in pretty html	stuebinm	2022-02-11	1	-5/+6
*	server: simple servant-lucid stuff	stuebinm	2022-02-10	1	-1/+20
*	server: simple toml config	stuebinm	2022-02-07	1	-14/+37
*	server: proper job handling	stuebinm	2022-02-07	1	-5/+22
*	non-blocking server	stuebinm	2022-02-07	1	-0/+61