diff options
| author | stuebinm | 2022-02-18 18:09:23 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-19 19:54:48 +0100 |
| commit | 52bf0fa6dace596a4bd5b4e4229fbb9704fbf443 (patch) | |
| tree | 971604d125e2faba93db8845224a2d43ee645935 /.gitignore | |
| parent | 53fb449b008e9b6aed9877b9d33f4026e454e0f9 (diff) | |
switch to universum prelude
also don't keep adjusted maps around if not necessary
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions