nixpkgs/pkgs/applications/editors/eclipse
Matt McHenry cb66a7468e eclipse: jdk8 -> jdk10
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 49ea0e2736
"eclipse: Do not use webkitgtk2 by default".
2018-04-03 12:30:21 -04:00
..
build-eclipse.nix eclipse: jdk8 -> jdk10 2018-04-03 12:30:21 -04:00
default.nix eclipse: jdk8 -> jdk10 2018-04-03 12:30:21 -04:00
plugins.nix eclipse-plugin-jsonedit: 1.0.2 -> 1.1.0 2018-03-16 23:28:50 +01:00