diff options
author | devhell <devhell@mailfresser.de> | 2019-02-28 11:55:37 +0000 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2019-02-28 11:55:37 +0000 |
commit | 87bec2e5b8be2eaff7e2199c1393c97f69580ec5 (patch) | |
tree | 42c41beb850dfb5d88ff12698bcacb3132cde290 /modules/user/devhell | |
parent | d13e11dcd57191fd3731af1d29f862b04ddd17eb (diff) |
modules/base: Switch to font_awesome_5
Diffstat (limited to 'modules/user/devhell')
-rw-r--r-- | modules/user/devhell/profiles/base.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/user/devhell/profiles/base.nix b/modules/user/devhell/profiles/base.nix index 11756231..68c71d3c 100644 --- a/modules/user/devhell/profiles/base.nix +++ b/modules/user/devhell/profiles/base.nix @@ -95,7 +95,7 @@ in { corefonts dejavu_fonts dosemu_fonts - font-awesome_4 + font-awesome_5 freefont_ttf google-fonts hack-font |