| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | server: add a very simple relint button | stuebinm | 2022-03-06 | 1 | -3/+4 |
| | | |||||
| * | mapserver: somewhat more decent logging | stuebinm | 2022-03-03 | 1 | -18/+23 |
| | | |||||
| * | server: write out adjusted maps | stuebinm | 2022-02-25 | 1 | -5/+21 |
| | | |||||
| * | switch to universum prelude | stuebinm | 2022-02-18 | 1 | -2/+3 |
| | | | | | also don't keep adjusted maps around if not necessary | ||||
| * | sprinkle some NFData everywhere | stuebinm | 2022-02-17 | 1 | -0/+1 |
| | | | | | (also some evaluateNF, leading to slightly less memory usage) | ||||
| * | server: remove a thunk leak | stuebinm | 2022-02-17 | 1 | -2/+3 |
| | | | | | | (really a lot of these data structures should be eagerly evaluated into normal form, i suspect there's still a lot to be gained) | ||||
| * | server: remove cli-git, cli-extras | stuebinm | 2022-02-16 | 1 | -34/+52 |
| | | | | | | | | | both these packages are hard to use, seem to be either unfinished or abandoned, and also generally not very good. Also for some reason they depend on `lens`. Removing them dramatically shrunk the dependency closure! | ||||
| * | server: add mapservice GET endpoint | stuebinm | 2022-02-16 | 1 | -4/+8 |
| | | |||||
| * | internal state: sort according to org | stuebinm | 2022-02-16 | 1 | -1/+1 |
| | | | | | (also, more lenses i guess) | ||||
| * | server: repositores & orgs fixed in config | stuebinm | 2022-02-16 | 1 | -0/+73 |
| a very simple setup that might be usable for divoc and similar small events | |||||
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |