devhelp: fix build with new webkitgtk

This commit is contained in:
Luca Bruno 2016-03-01 12:50:23 +01:00
parent a110c8d52b
commit b2889efff2

View File

@ -312,9 +312,7 @@ let
anjuta = callPackage ./devtools/anjuta { };
devhelp = callPackage ./devtools/devhelp {
webkitgtk = webkitgtk24x;
};
devhelp = callPackage ./devtools/devhelp { };
gdl = callPackage ./devtools/gdl { };