remove jumanji

jumanji isn't activly developed since the end of 2015
and uses an insecure and old version of webkit.
This commit is contained in:
Pascal Wittmann
2018-08-06 12:57:17 +02:00
parent 6820e2f0dd
commit 0efd8a8f70
2 changed files with 0 additions and 36 deletions
-5
View File
@@ -16909,11 +16909,6 @@ with pkgs;
jbrout = callPackage ../applications/graphics/jbrout { };
jumanji = callPackage ../applications/networking/browsers/jumanji {
webkitgtk = webkitgtk24x-gtk3;
gtk = gtk3;
};
jwm = callPackage ../applications/window-managers/jwm { };
k3d = callPackage ../applications/graphics/k3d {