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 /nix | |
parent | faa244e1a7e760be88054a5f15b3e115ad8e32e5 (diff) |
switch to universum prelude
also don't keep adjusted maps around if not necessary
Diffstat (limited to 'nix')
0 files changed, 0 insertions, 0 deletions