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