| commit | 717da02f0eb3a1b0d0736933f9c5efa583f9b58b | |
| author | Andreas Gohr <andi@splitbrain.org> | |
| Mon, 21 Aug 2023 16:21:53 +0000 (21 18:21 +0200) | ||
| committer | GitHub <noreply@github.com> | |
| Mon, 21 Aug 2023 16:21:53 +0000 (21 18:21 +0200) | ||
| tree | 2b9e6f52037ec861540c19eb882d18d7d07ed534 | treesnapshot (tar.gz zip) |
| parent | a493dd6003d850feb6ad5c0e47a1a6680a46f062 | commitdiff |
| parent | 7e7c95b8039a61b7ae25fcd95e3754028e21da43 | commitdiff |
Merge pull request #4038 from dokuwiki/create-pull-request/patch
Update deleted files
Update deleted files