Michael Hönnig 9666fc23ed fix test coveragage to the point that gw test check -x pitest works		2024-10-09 19:19:11 +02:00
..
git-pull-and-if-origin-changed-run-tests	fix test coveragage to the point that gw test check -x pitest works	2024-10-09 19:19:11 +02:00