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 | ||