diff options
author | devhell <devhell@mailfresser.de> | 2019-03-04 13:50:08 +0000 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2019-03-04 13:52:33 +0000 |
commit | 185f186b9f25fa31932cd7a1f188b0c864fac4be (patch) | |
tree | 5f78281adb8fcb8a4ea407b2150d62ec08748730 /modules/user | |
parent | 12e8b2b14d31f0b6a8523a99356f17616c9991db (diff) |
profiles/base: Switch to generic font-awesome
This will prevent version pinning and always install the latest and greatest.
Diffstat (limited to 'modules/user')
-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 68c71d3c..c390bfd4 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_5 + font-awesome freefont_ttf google-fonts hack-font |