Remove 'python' from the filename (#1130)

This commit is contained in:
Christian Clauss
2019-08-15 13:19:38 +02:00
committed by GitHub
parent 27205d4548
commit 3e69733e44