Robin Mueller 811287aac8 delete old scripts

2022-05-13 11:57:22 +02:00

..

auto-formatter.sh

this is better

2022-05-13 11:56:37 +02:00

helper.py

Merge branch 'development' into gaisser_unit_test_internal_error

2022-02-28 15:19:44 +01:00