afischerdev 4c824531a2 db scripts pushed to last state		2025-05-27 11:45:23 +02:00
..
mapcreation	db scripts pushed to last state	2025-05-27 11:45:23 +02:00
standalone	switched from system to java variable	2024-09-12 12:25:06 +02:00
generate_profile_variants.sh	Fix /usr/bin/sh not found on Ubuntu 18.04, using /bin/sh instead	2020-01-22 10:59:48 +01:00