quaelnix a610255529 Fix bug in exclusion of small water bodies		2023-07-27 18:18:42 +02:00
..
mapcreation	Fix bug in exclusion of small water bodies	2023-07-27 18:18:42 +02:00
standalone	migrate to gradle part 5	2021-08-18 13:03:54 +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