configure: _Float types
authorMichael Wallner <mike@php.net>
Thu, 26 Jul 2018 07:19:53 +0000 (09:19 +0200)
committerMichael Wallner <mike@php.net>
Thu, 26 Jul 2018 07:19:53 +0000 (09:19 +0200)
commit745468eb1a132db940cafd6704401b62028c6353
treed9b2f80f746fc54f1f4c626d3e98b4c7e683fbaa
parentf3fc4c459243cc41f20d225cb0a87f186bf1dbc1
configure: _Float types
m4/psi/psi_type.m4