afischerdev ecfc417ee0 Merge pull request #779 from afischerdev/docs ... Update for the Docs		2025-07-10 10:50:57 +02:00
..
mapcreation	Merge pull request #779 from afischerdev/docs	2025-07-10 10:50:57 +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