configure: AC_HEADER_ASSERT
authorMichael Wallner <mike@php.net>
Fri, 21 Oct 2016 10:54:21 +0000 (12:54 +0200)
committerMichael Wallner <mike@php.net>
Fri, 21 Oct 2016 10:54:21 +0000 (12:54 +0200)
commit3a7e1819ee316d4b3076e9a1cfd9d68f66101021
tree325a495fcea5401de4c310e15cef14a3e8e26c20
parent2f08002ac0b6de75b0ecb6fe57cbbc70cb2424ae
configure: AC_HEADER_ASSERT
config.m4