Robert Helgesson b57981e1ea eclipse-plugin-cup: use buildEclipsePlugin ... Since the `buildEclipsePlugin` function now can cope with multiple plugin JARs we can avoid the workaround used by the cup plugin.		2018-01-20 16:00:09 +01:00
..
build-eclipse.nix	rename webkitgtk24x -> webkitgtk24x-gtk3; webkitgtk2 -> webkitgtk24x-gtk2	2017-05-26 13:43:25 +00:00
default.nix	eclipse: version updates	2017-12-20 23:24:41 +01:00
plugins.nix	eclipse-plugin-cup: use buildEclipsePlugin	2018-01-20 16:00:09 +01:00