|
build-eclipse.nix
|
eclipses: 2022-12 -> 2023-03
|
2023-04-16 14:27:25 -04:00 |
|
default.nix
|
eclipses: 2023-09 -> 2023-12
|
2023-12-28 22:30:17 -05:00 |
|
plugins.nix
|
eclipses: 2023-09 -> 2023-12
|
2023-12-28 22:30:17 -05:00 |
|
update.sh
|
eclipses: create minimal update.sh
|
2023-09-29 20:34:05 +02:00 |
