Update version number in dev setup config filename
authorMatthias Schmidt <gravatronics@live.com>
Sun, 3 Feb 2019 17:26:02 +0000 (18:26 +0100)
committerMatthias Schmidt <gravatronics@live.com>
Sun, 3 Feb 2019 17:26:02 +0000 (18:26 +0100)
commit159ddbdbadb67e048103fd3f8625a73b3254741d
treed67eadf8072301a9d8c4ee76062e5f4ae1f7d503
parent1949f2e3b0b2791b3ad20b124eb8ac7e2bb9479a
Update version number in dev setup config filename
extra/examples/wsc-dev-config-31.json [deleted file]
extra/examples/wsc-dev-config-52.json [new file with mode: 0644]
wcfsetup/install/files/lib/system/devtools/DevtoolsSetup.class.php