Matt McHenry d18008b8ea eclipses: 2022-09 -> 2022-12 ... drop .eclipseproduct workaround from 2012-12 / 8a7561ec09		2023-01-15 10:36:39 +01:00
..
build-eclipse.nix	eclipses: 2022-09 -> 2022-12	2023-01-15 10:36:39 +01:00
default.nix	eclipses: 2022-09 -> 2022-12	2023-01-15 10:36:39 +01:00
plugins.nix	eclipses: 2022-09 -> 2022-12	2023-01-15 10:36:39 +01:00