| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2022-02-16 | server: add mapservice GET endpoint | stuebinm | 1 | -4/+4 | |
| 2022-02-16 | internal state: sort according to org | stuebinm | 1 | -12/+13 | |
| (also, more lenses i guess) | |||||
| 2022-02-16 | server: repositores & orgs fixed in config | stuebinm | 1 | -11/+13 | |
| a very simple setup that might be usable for divoc and similar small events | |||||
| 2022-02-15 | server: switch to universum prelude, some cleanup | stuebinm | 1 | -26/+20 | |
| it's slightly less of a mess than it was before | |||||
| 2022-02-11 | server: admin interface | stuebinm | 1 | -23/+67 | |
| (for now, just a list of all maps and their current status) | |||||
| 2022-02-11 | server: present lint results in pretty html | stuebinm | 1 | -42/+118 | |
| (this is mostly a rewrite / translation of the django templates built into rc3's hub) | |||||
| 2022-02-10 | server: simple servant-lucid stuff | stuebinm | 1 | -0/+57 | |
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |