diff options
| author | stuebinm | 2022-02-18 18:09:23 +0100 |
|---|---|---|
| committer | stuebinm | 2022-02-18 18:09:23 +0100 |
| commit | 7c49e6c367c9d021f3630c08a4a13ba9abc5df08 (patch) | |
| tree | c278d23a6e39c353f5aa02d1ce9785122e1eea62 /config.json | |
| parent | faa244e1a7e760be88054a5f15b3e115ad8e32e5 (diff) | |
switch to universum prelude
also don't keep adjusted maps around if not necessary
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions