Robert Helgesson 88946527a5 eclipse-plugin-jsonedit: 1.1.0 -> 1.1.1		2018-05-08 23:20: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-jsonedit: 1.1.0 -> 1.1.1	2018-05-08 23:20:15 +02:00