package.xml checker
authorMichael Wallner <mike@php.net>
Fri, 31 Jul 2015 11:51:28 +0000 (13:51 +0200)
committerMichael Wallner <mike@php.net>
Fri, 31 Jul 2015 11:51:28 +0000 (13:51 +0200)
commit772e821e8d7ee8ee7a8b3a4fb2e60e5e67814abe
treeff3c125a0c1e2883b50ef1fca3c5e1da3638671a
parent9936470ff8103e7671ca78183b06020dc6153a8f
package.xml checker
Makefile
check-packagexml.php [new file with mode: 0755]
php-version.php [changed mode: 0644->0755]