Sven Keidel c2dc5a3e98 eclipse: add eclipse platform 4.5.2		2016-03-19 18:50:20 +01:00
..
build-eclipse.nix	eclipse: run with the jdk, not the jre	2016-02-27 13:40:38 +01:00
default.nix	eclipse: add eclipse platform 4.5.2	2016-03-19 18:50:20 +01:00
plugins.nix	eclipse-plugin-checkstyle: 6.14.0 -> 6.16.0	2016-03-06 09:39:22 +01:00