Robert Helgesson 48b5ad2739 Merge pull request #55575 from jerith666/eclipse-2018-12 ... eclipse: 2018-09 -> 2018-12		2019-02-20 19:15:02 +01:00
..
build-eclipse.nix	eclipses: 2018-09 -> 2018-12	2019-02-11 14:12:56 -05:00
default.nix	eclipses: 2018-09 -> 2018-12	2019-02-11 14:12:56 -05:00
plugins.nix	Merge pull request #55575 from jerith666/eclipse-2018-12	2019-02-20 19:15:02 +01:00