diff options
author | devhell <devhell@mailfresser.de> | 2020-11-30 18:52:12 +0000 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2020-11-30 18:52:12 +0000 |
commit | 45d5fe7371730d2184bc3884ada04e618d9478d9 (patch) | |
tree | 8bccc6785f7839d57d1b44cbf1258eca5681eb87 /modules/user | |
parent | fd458fbad63215d4bd1ec6d170d5dfdd9f10050c (diff) |
profile/base: Remove more fonts
Don't need these either really.
Diffstat (limited to 'modules/user')
-rw-r--r-- | modules/user/devhell/profiles/base.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/modules/user/devhell/profiles/base.nix b/modules/user/devhell/profiles/base.nix index e2017d3c..c8d80e70 100644 --- a/modules/user/devhell/profiles/base.nix +++ b/modules/user/devhell/profiles/base.nix @@ -141,12 +141,10 @@ in { corefonts cozette dosemu_fonts - font-awesome freefont_ttf google-fonts junicode nerdfonts - proggyfonts siji tewi-font tt2020 |