webkitgtk: make 2.14 the default

2017-01-02 13:37:09 +01:00
parent 3fa6209439
commit 802c09f21d
1 changed files with 1 additions and 1 deletions
@@ -9646,7 +9646,7 @@ in

  wcslib = callPackage ../development/libraries/wcslib { };

-  webkitgtk = webkitgtk212x;
+  webkitgtk = webkitgtk214x;

  webkitgtk24x = callPackage ../development/libraries/webkitgtk/2.4.nix {
    harfbuzz = harfbuzz-icu;