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