summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
maina year went bystuebinm6 months
playgroundserver: small html improvementsstuebinm2 years
structured-badgeschange badge output formatstuebinm2 years
 
 
AgeCommit messageAuthorFilesLines
2022-03-06server: small html improvementsplaygroundstuebinm1-3/+6
2022-03-06fix cwality-mapsstuebinm1-2/+2
2022-03-06make tiled even more strictstuebinm2-9/+10
2022-03-06make tiled stricter (and organise some imports)stuebinm7-63/+50
2022-03-06walint: some marginally nicer codestuebinm1-51/+47
2022-03-06server: decrease default lint intervalstuebinm1-1/+1
2022-03-06server: don't hardcode the websocket domain/protocolstuebinm1-1/+2
2022-03-06update haskell.nix hashstuebinm1-2/+2
2022-03-06server: websocket for updates & auto-reloadstuebinm9-84/+158
2022-03-06server: add a very simple relint buttonstuebinm5-40/+79
[...]