diff options
| author | Felipe Pena <felipe@php.net> | 2008-06-30 12:15:53 +0000 |
|---|---|---|
| committer | Felipe Pena <felipe@php.net> | 2008-06-30 12:15:53 +0000 |
| commit | 7ddf985e05d97500c70dbca21a234dbc780cffb7 (patch) | |
| tree | 2a376381336532aef6b9b51d8b26647f6cc859f4 /php.ini-recommended | |
| parent | c125461de1a179d248e8aa9328b35003869bd13f (diff) | |
| download | php-git-7ddf985e05d97500c70dbca21a234dbc780cffb7.tar.gz | |
- zend_arg_defs.c is unnecessary now
Diffstat (limited to 'php.ini-recommended')
0 files changed, 0 insertions, 0 deletions