Robert Helgesson f54a9994e3 eclipse-plugin-spotbugs: 3.1.2 -> 3.1.3 ... Also switch to using zipped update site provided on GitHub.		2018-04-24 22:58:15 +02:00
..
build-eclipse.nix	eclipse: jdk8 -> jdk10	2018-04-03 12:30:21 -04:00
default.nix	eclipse: jdk8 -> jdk10	2018-04-03 12:30:21 -04:00
plugins.nix	eclipse-plugin-spotbugs: 3.1.2 -> 3.1.3	2018-04-24 22:58:15 +02:00