Rename `wsc-dev-config-54.json` to `wsc-dev-config-55.json`
authorMatthias Schmidt <gravatronics@live.com>
Fri, 11 Jun 2021 15:09:42 +0000 (17:09 +0200)
committerMatthias Schmidt <gravatronics@live.com>
Fri, 11 Jun 2021 15:09:42 +0000 (17:09 +0200)
commitdec2adb4f7f54f2f6c6123068b187af1ac42fcbd
tree1e21652b6bfed19f628cb7b2167c69b634146941
parent1a4deb986554007440972f79b393f0f02e2e621b
Rename `wsc-dev-config-54.json` to `wsc-dev-config-55.json`
extra/examples/wsc-dev-config-54.json [deleted file]
extra/examples/wsc-dev-config-55.json [new file with mode: 0644]
wcfsetup/install/files/lib/system/devtools/DevtoolsSetup.class.php