Merge pull request #3931 from dokuwiki/create-pull-request/patch
commitacbf83d02803654ad4bccef1c5186f8c609a81bd
authorAndreas Gohr <andi@splitbrain.org>
Wed, 29 Mar 2023 09:02:03 +0000 (29 11:02 +0200)
committerGitHub <noreply@github.com>
Wed, 29 Mar 2023 09:02:03 +0000 (29 11:02 +0200)
tree36722e164d568920c0930c945842d79c84b4e51b
parentd1b41bafdb4da3dc0688005b6b01f418fc819f26
parent8fe0e6cfb503dd7cd6f801ee2979e105a8334a4b
Merge pull request #3931 from dokuwiki/create-pull-request/patch

Update deleted files