about summary refs log tree commit diff
path: root/public
diff options
context:
space:
mode:
authorThibG <thib@sitedethib.com>2020-02-22 01:27:34 +0100
committerGitHub <noreply@github.com>2020-02-22 01:27:34 +0100
commit0f07218e53bf581127cdcf5fbf12d9c207ace8d7 (patch)
tree466387c06612d797aefd970c4ccbac9d21c9d34c /public
parent983ab40086da909f2c693b74ed36735aab40dbcb (diff)
Fix `/web` redirecting to `/web/web` in web UI (#13128)
Fixes #13127
Diffstat (limited to 'public')
0 files changed, 0 insertions, 0 deletions