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