Simon Bruder
5ed071c0ed
Fixes #37. This also removes some tools from the user profile since I do not need them anymore. |
||
---|---|---|
.. | ||
files | ||
modules | ||
default.nix |
Simon Bruder
5ed071c0ed
Fixes #37. This also removes some tools from the user profile since I do not need them anymore. |
||
---|---|---|
.. | ||
files | ||
modules | ||
default.nix |