Frederik Rietdijk f0002ea292 Python: improve update script ...

- remove dead code
- improve readability
- skip fetchFromGitHub (#26320)

2017-06-06 17:20:32 +02:00

..

scripts

Python: improve update script

2017-06-06 17:20:32 +02:00