| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2022-03-19 | server: post map updates to exneuland's API | stuebinm | 1 | -1/+3 |
| 2022-03-19 | server: remove cli-git, cli-extras | stuebinm | 1 | -2/+1 |
| 2022-03-19 | internal state: sort according to org | stuebinm | 1 | -2/+1 |
| 2022-03-19 | server: repositores & orgs fixed in config | stuebinm | 1 | -1/+6 |
| 2022-03-19 | … several hours of fighting with TOML later | stuebinm | 1 | -0/+1 |
| 2022-03-19 | server: switch to universum prelude, some cleanup | stuebinm | 1 | -2/+5 |
| 2022-03-19 | server: added (somewhat) sensible logging | stuebinm | 1 | -13/+10 |
| 2022-03-19 | server: present lint results in pretty html | stuebinm | 1 | -0/+1 |
| 2022-03-19 | server: simple servant-lucid stuff | stuebinm | 1 | -0/+3 |
| 2022-03-19 | server: simple toml config | stuebinm | 1 | -0/+1 |
| 2022-03-19 | server: proper job handling | stuebinm | 1 | -0/+2 |
| 2022-03-19 | non-blocking server | stuebinm | 1 | -1/+2 |
| 2022-03-19 | basic server setup (using servant) | stuebinm | 1 | -1/+21 |
| 2022-03-19 | use hpack and clean up modules | stuebinm | 1 | -0/+52 |
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |