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