Robert Helgesson 3edc01d5d7 eclipse/plugins: remove `phases` fields		2017-11-08 14:16:10 +01: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/plugins: remove `phases` fields	2017-11-08 14:16:10 +01:00