build: generate package.xml
authorMichael Wallner <mike@php.net>
Tue, 21 Feb 2017 10:05:37 +0000 (11:05 +0100)
committerMichael Wallner <mike@php.net>
Tue, 21 Feb 2017 10:05:37 +0000 (11:05 +0100)
commit5eb675460ea7908245fc97f4a9622e6115d7d601
tree69df6bf179f82f2fab9ad0357a0606704e2e7f52
parent4d2c075c160bbc1ff49c3499f8fdd07d9c447a12
build: generate package.xml
package.xml
scripts/gen_package_xml.php [new file with mode: 0644]