Robin Mueller b53aed9cf9 made script more generic		2022-05-22 15:27:54 +02:00
..
auto-formatter.sh	made script more generic	2022-05-22 15:27:54 +02:00