| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2022-03-19 | server: fix an annoying space | stuebinm | 1 | -2/+1 |
| 2022-03-19 | server: small html improvements | stuebinm | 1 | -3/+6 |
| 2022-03-19 | server: don't hardcode the websocket domain/protocol | stuebinm | 1 | -1/+2 |
| 2022-03-19 | server: websocket for updates & auto-reload | stuebinm | 1 | -14/+29 |
| 2022-03-19 | server: add a very simple relint button | stuebinm | 1 | -2/+16 |
| 2022-03-19 | switch to universum prelude | stuebinm | 1 | -1/+1 |
| 2022-03-19 | sprinkle some NFData everywhere | stuebinm | 1 | -2/+1 |
| 2022-03-19 | server: add mapservice GET endpoint | stuebinm | 1 | -4/+4 |
| 2022-03-19 | internal state: sort according to org | stuebinm | 1 | -12/+13 |
| 2022-03-19 | server: repositores & orgs fixed in config | stuebinm | 1 | -11/+13 |
| 2022-03-19 | server: switch to universum prelude, some cleanup | stuebinm | 1 | -26/+20 |
| 2022-03-19 | server: admin interface | stuebinm | 1 | -23/+67 |
| 2022-03-19 | server: present lint results in pretty html | stuebinm | 1 | -42/+118 |
| 2022-03-19 | server: simple servant-lucid stuff | stuebinm | 1 | -0/+57 |
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |