Robert Helgesson fa6e946383 eclipse-plugin-jdt: 4.6.2 -> 4.7		2017-06-28 20:56:48 +02:00
..
build-eclipse.nix	rename webkitgtk24x -> webkitgtk24x-gtk3; webkitgtk2 -> webkitgtk24x-gtk2	2017-05-26 13:43:25 +00:00
default.nix	eclipse-sdk: 4.6.2 -> 4.7	2017-06-28 20:56:48 +02:00
plugins.nix	eclipse-plugin-jdt: 4.6.2 -> 4.7	2017-06-28 20:56:48 +02:00