cb66a7468e
in combination with the parent commit that makes jdk10 use gtk3, this lets us get onto a current webkitgtk. since the current version of webkitgtk is still receiving security updates, this also reverts 49ea0e27363e5ab5cb3b4e86f6531e799e43dabd "eclipse: Do not use webkitgtk2 by default". |
||
---|---|---|
.. | ||
build-eclipse.nix | ||
default.nix | ||
plugins.nix |