Merge pull request #4283 from WoltLab/devtools_package_server
authorMatthias Schmidt <gravatronics@live.com>
Mon, 14 Jun 2021 09:25:28 +0000 (11:25 +0200)
committerGitHub <noreply@github.com>
Mon, 14 Jun 2021 09:25:28 +0000 (11:25 +0200)
commit0fafdc7673e999806bb44bd52e8c82822d6606b7
treed02106e50fc04b979066e7e3528690e9d97ed3df
parent381abb49984c774a94971841115c5d2bffa1c242
parent5906df65411bff67a7c89ee771ad21729c850b70
Merge pull request #4283 from WoltLab/devtools_package_server

Support adding WoltLab package server login credentials to dev config file