Matt McHenry 346fa91176 eclipse-plugin-jdt: 4.7 -> 4.7.1a		2017-10-18 23:30:14 +02:00
..
build-eclipse.nix
default.nix	eclipse-platform, eclipse-sdk: 4.7.0 -> 4.7.1a	2017-10-18 23:30:10 +02:00
plugins.nix	eclipse-plugin-jdt: 4.7 -> 4.7.1a	2017-10-18 23:30:14 +02:00