Skip to content
Snippets Groups Projects
Commit 52bf0fa6 authored by stuebinm's avatar stuebinm
Browse files

switch to universum prelude

also don't keep adjusted maps around if not necessary
parent 53fb449b
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment