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
default.nix
plugins.nix