Robert Helgesson b717ca8e45 eclipse-plugin-spotbugs: 3.1.3 -> 3.1.5		2018-06-20 20:24:45 +02:00
..
build-eclipse.nix	eclipse: jdk8 -> jdk10	2018-04-03 12:30:21 -04:00
default.nix	eclipse-sdk: 4.7.2 -> 4.7.3a	2018-05-15 18:52:58 +02:00
plugins.nix	eclipse-plugin-spotbugs: 3.1.3 -> 3.1.5	2018-06-20 20:24:45 +02:00