Fix PHP7 config.w32 1/head
authorJan-E <github@ehrhardt.nl>
Fri, 22 Jan 2016 12:27:41 +0000 (13:27 +0100)
committerJan-E <github@ehrhardt.nl>
Fri, 22 Jan 2016 12:27:41 +0000 (13:27 +0100)
commit69a623b955465f6870955bef0c81af2a899e4783
tree4f56ffbc519f19c2c263dc1332367b80ca1c4812
parent01babc25e0d3c2b21d5b8164bd9057d8c3fdb8e3
Fix PHP7 config.w32
config.w32