default configure option
authorMichael Wallner <mike@php.net>
Thu, 23 Oct 2014 10:48:54 +0000 (12:48 +0200)
committerMichael Wallner <mike@php.net>
Thu, 23 Oct 2014 10:48:54 +0000 (12:48 +0200)
commit4e530d65c987bc87620cb5e70fdcad1336f91004
tree81e83d8de46942b803eb75fa48e4856826ebd300
parent3839d95b1b83d981f11b1f7871da461e0bdfe2e7
default configure option
package.xml