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