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