diff options
| author | devhell <devhell@mailfresser.de> | 2021-11-07 17:15:58 +0000 |
|---|---|---|
| committer | devhell <devhell@mailfresser.de> | 2021-11-07 17:16:41 +0000 |
| commit | 4e3f477351399b878dc7ad42b7ccc2f1b3048beb (patch) | |
| tree | fc93b49d9910fddb484e3435d7515ccc436ee4a4 | |
| parent | bba268d374dbcf1238e350f394bca0b103b16297 (diff) | |
profiles/packages: Add wiki-tui
There's no home like the TUI.
| -rw-r--r-- | modules/user/devhell/profiles/packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/user/devhell/profiles/packages.nix b/modules/user/devhell/profiles/packages.nix index cd087867..a5922d79 100644 --- a/modules/user/devhell/profiles/packages.nix +++ b/modules/user/devhell/profiles/packages.nix @@ -279,6 +279,7 @@ in { wavpack wget which + wiki-tui wipe wireguard wordgrinder |