public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #48873 from romildo/new.jwm-settings-manager

Browse Source 
jwm-settings-manager: init at 2018-10-19
This commit is contained in:
Michael Raskin
2018-10-30 13:24:46 +00:00
committed by GitHub
parent be6e4b8af8 b348f8568f
commit 1d8794e16e
2 changed files with 46 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/all-packages.nix
+2
View File
@@ -17475,6 +17475,8 @@ with pkgs;
jwm = callPackage ../applications/window-managers/jwm { };
jwm-settings-manager = callPackage ../applications/window-managers/jwm/jwm-settings-manager.nix { };
k3d = callPackage ../applications/graphics/k3d {
inherit (pkgs.gnome2) gtkglext;
stdenv = overrideCC stdenv gcc6;