remove default configure option RELEASE_2_1_3
authorMichael Wallner <mike@php.net>
Thu, 16 Oct 2014 07:17:01 +0000 (09:17 +0200)
committerMichael Wallner <mike@php.net>
Thu, 16 Oct 2014 07:17:01 +0000 (09:17 +0200)
commit00f0d8d23eb0b028712aaeff1f7b88743b3e43e1
tree6a73fa94537f074b6ff4811c0d042fc72e7c9033
parent69d8ed5a90c1cf149ff2038b7bd95afd93a13b4b
remove default configure option
package.xml