opensourcemirror
/
dokuwiki
mirror of https://github.com/splitbrain/dokuwiki.git
1
0
Fork 0
Code Issues Releases Wiki Activity

Merge pull request #4175 from dokuwiki/bot/deletedFiles 

🤖 Update deleted files
This commit is contained in:
Andreas Gohr 2024-02-02 15:05:34 +01:00 committed by GitHub
parent e6380ba37d 77081e6b6c
commit ad3a97a1cf
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
data/deleted.files
View File

@ -984,3 +984,5 @@ _test/tests/inc/pageutils_resolve_mediaid.test.php
_test/tests/inc/pageutils_resolve_pageid.test.php
vendor/phpseclib/phpseclib/phpseclib/Net/SCP.php
vendor/phpseclib/phpseclib/phpseclib/Net/SSH1.php
vendor/marcusschwarz/lesserphp/README.md
vendor/marcusschwarz/lesserphp/lessc.inc.php