diff options
| author | stuebinm | 2022-02-15 22:28:24 +0100 |
|---|---|---|
| committer | stuebinm | 2022-02-15 22:28:24 +0100 |
| commit | 358305b196e41ca88155fd0d71516cefe7e2732d (patch) | |
| tree | 15b7348ec5e1683ccac141ea0ebebef56c996a1b /.gitlab-ci.yml | |
| parent | f228c99fd04d539b1aa0c84504b1d6e3f87aa2fe (diff) | |
server: switch to universum prelude, some cleanup
it's slightly less of a mess than it was before
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions