remove deleted files
authorMichael Wallner <mike@php.net>
Mon, 21 Sep 2020 12:59:13 +0000 (14:59 +0200)
committerMichael Wallner <mike@php.net>
Mon, 21 Sep 2020 12:59:13 +0000 (14:59 +0200)
commit74d0214dfe41d2f187f50d5cadc054ec32cf5d27
treef96318d21da5aebf9ac0ab7ea13901d4bf9e1a52
parente44e3ceb60817cfdd17945a3f6043816e134aa75
remove deleted files
package.xml