Felix Fontein 1ab2a5f1bc Add default license header to files which have no copyright or license header yet (#5074) ... * Add default license header to files which have no copyright or license header yet. * yml extension should have been xml...		2022-08-05 14:03:38 +02:00
..
aggregate-coverage.sh
combine-coverage.py
process-results.sh
publish-codecov.py
report-coverage.sh
run-tests.sh
time-command.py