Matt McHenry 8a7561ec09 eclipses: 2021-09 -> 2021-12 ...

the .eclipseproduct file bundled with 2021-12 mistakenly still says
version=4.21.0, so tweak build-eclipse.nix to stop relying on it for
now.

2021-12-14 22:42:39 +01:00

..

build-eclipse.nix

eclipses: 2021-09 -> 2021-12

2021-12-14 22:42:39 +01:00

default.nix

eclipses: 2021-09 -> 2021-12

2021-12-14 22:42:39 +01:00

plugins.nix

eclipses: 2021-09 -> 2021-12

2021-12-14 22:42:39 +01:00