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