| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | server: websocket for updates & auto-reload | stuebinm | 2022-03-19 | 1 | -2/+26 |
| * | server: add a very simple relint button | stuebinm | 2022-03-19 | 1 | -3/+4 |
| * | mapserver: somewhat more decent logging | stuebinm | 2022-03-19 | 1 | -18/+23 |
| * | server: write out adjusted maps | stuebinm | 2022-03-19 | 1 | -5/+21 |
| * | switch to universum prelude | stuebinm | 2022-03-19 | 1 | -2/+3 |
| * | sprinkle some NFData everywhere | stuebinm | 2022-03-19 | 1 | -0/+1 |
| * | server: remove a thunk leak | stuebinm | 2022-03-19 | 1 | -2/+3 |
| * | server: remove cli-git, cli-extras | stuebinm | 2022-03-19 | 1 | -34/+52 |
| * | server: add mapservice GET endpoint | stuebinm | 2022-03-19 | 1 | -4/+8 |
| * | internal state: sort according to org | stuebinm | 2022-03-19 | 1 | -1/+1 |
| * | server: repositores & orgs fixed in config | stuebinm | 2022-03-19 | 1 | -0/+73 |
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |