Matt McHenry 43d1ee8651 eclipse: 2023-06 -> 2023-09		2023-10-16 00:34:15 +02:00
..
build-eclipse.nix
default.nix	eclipse: 2023-06 -> 2023-09	2023-10-16 00:34:15 +02:00
plugins.nix	eclipse: 2023-06 -> 2023-09	2023-10-16 00:34:15 +02:00
update.sh	eclipses: create minimal update.sh	2023-09-29 20:34:05 +02:00