Fix devtools package syncing errors
authorMatthias Schmidt <gravatronics@live.com>
Sat, 24 Nov 2018 14:05:48 +0000 (15:05 +0100)
committerMatthias Schmidt <gravatronics@live.com>
Sat, 24 Nov 2018 14:05:48 +0000 (15:05 +0100)
commitfa0d40a8cb53a344f11be8f37a5d613bca1846e7
tree6c2e8c23cfa0f9e17f21134f9595a9a08f94cf9b
parent34ae68b92b57494967d28cc86403a76d60996371
Fix devtools package syncing errors

See #2616
wcfsetup/install/files/lib/system/devtools/pip/DevtoolsPip.class.php