diff options
author | Jeroen van Wolffelaar <jeroen@php.net> | 2001-08-10 20:18:42 +0000 |
---|---|---|
committer | Jeroen van Wolffelaar <jeroen@php.net> | 2001-08-10 20:18:42 +0000 |
commit | 6da0268c2ab2f0fb17e8c9b6480e6d7dfc3a6826 (patch) | |
tree | b8d22ec30e471f152dff7fec72c1de95832fe26d /main/php.h | |
parent | a2b297bdf0e3d76b254aed76e55fb8d4dc28ad33 (diff) | |
download | php-git-6da0268c2ab2f0fb17e8c9b6480e6d7dfc3a6826.tar.gz |
Possible fix 12360. If it doesn't help, it doesn't hurt, AFAIK...
Diffstat (limited to 'main/php.h')
0 files changed, 0 insertions, 0 deletions