Rolf Schröder 3ac439921f geoserver: add extensions and update script		2024-02-20 10:28:58 +01:00
..
data-dir.patch	geoserver: fix startup script	2023-11-17 23:30:47 +01:00
default.nix	geoserver: add extensions and update script	2024-02-20 10:28:58 +01:00
extensions.nix	geoserver: add extensions and update script	2024-02-20 10:28:58 +01:00
update.sh	geoserver: add extensions and update script	2024-02-20 10:28:58 +01:00