Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | switch to universum prelude | stuebinm | 2022-02-18 | 1 | -3/+0 |
| | | | | also don't keep adjusted maps around if not necessary | ||||
* | server: switch to universum prelude, some cleanup | stuebinm | 2022-02-15 | 1 | -0/+1042 |
it's slightly less of a mess than it was before |