afischerdev 62588ec0ea changed generation process for database usage		2025-04-12 16:06:43 +02:00
..
mapcreation	changed generation process for database usage	2025-04-12 16:06:43 +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