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
|
||
|---|---|---|
| .. | ||
| build-eclipse.nix | ||
| default.nix | ||
| plugins.nix | ||