Stephan Kulow ae658fefe2 Move download URL check to check_source.py
And with that, check_source.pl is gone
2022-03-25 09:19:24 +01:00
..