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