diff options
author | devhell <devhell@mailfresser.de> | 2018-03-13 15:17:13 +0000 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2018-03-13 15:17:50 +0000 |
commit | 7e70d0b24e62e5cdb6543f81d0b6e07a9ba43c37 (patch) | |
tree | 2fbeb14a4b0fce0f1df9636e3580fecccc6c7f7c /modules/user/devhell | |
parent | e61ae49a44407e8e57c239bf36b9b3a286a28265 (diff) |
profiles/packages: Disable mono{develop}
Diffstat (limited to 'modules/user/devhell')
-rw-r--r-- | modules/user/devhell/profiles/packages.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/user/devhell/profiles/packages.nix b/modules/user/devhell/profiles/packages.nix index 8595d26a..0f7b0167 100644 --- a/modules/user/devhell/profiles/packages.nix +++ b/modules/user/devhell/profiles/packages.nix @@ -92,6 +92,8 @@ in { #ipfs #kpcli #mc + #mono + #monodevelop #netkittftp #numix-icon-theme #pasystray @@ -209,8 +211,6 @@ in { mkvtoolnix mmv monkeysAudio - mono - monodevelop mosh mp3gain mpc_cli |