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 | |
| parent | 12e8b2b14d31f0b6a8523a99356f17616c9991db (diff) | |
profiles/base: Switch to generic font-awesome
This will prevent version pinning and always install the latest and greatest.
| -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 |