Alexander Schäferdiek 872e725e3c Fix wrong return in bash fn call		2022-07-10 18:33:00 +02:00
..
bin	Fix wrong return in bash fn call	2022-07-10 18:33:00 +02:00