diff options
author | devhell <devhell@mailfresser.de> | 2020-02-26 09:35:10 +0000 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2020-02-26 09:35:10 +0000 |
commit | d7b08bc4ac3d09f7439f8fdcd37fcc3bd1e19435 (patch) | |
tree | cc59a6d8552f281f9cc0e5bc4131b8bdcc56bb8e /modules/user/devhell/profiles | |
parent | 2e8858f99020fb88f6b252cbd078c678a765d2ca (diff) |
profiles/base: Remove nerdfonts
Having added nerdfonts was a bad idea because it's 5G apparently. Let's not do this to aszlig's hydra.
Diffstat (limited to 'modules/user/devhell/profiles')
-rw-r--r-- | modules/user/devhell/profiles/base.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/modules/user/devhell/profiles/base.nix b/modules/user/devhell/profiles/base.nix index 977cb039..b68bdcbe 100644 --- a/modules/user/devhell/profiles/base.nix +++ b/modules/user/devhell/profiles/base.nix @@ -109,7 +109,6 @@ in { hack-font inconsolata junicode - nerdfonts powerline-fonts proggyfonts siji |