diff options
| author | Hannes Magnusson <bjori@php.net> | 2011-04-18 11:13:37 +0000 |
|---|---|---|
| committer | Hannes Magnusson <bjori@php.net> | 2011-04-18 11:13:37 +0000 |
| commit | 5ca8ba7ab655f8b434ac12577c470b5f2b9eb646 (patch) | |
| tree | 3d67bd5e5cbf917989c6bb96931766b2cd6dcf9b /scripts/dev/generate-phpt/src | |
| parent | a0d805035c676a1a2890b19fb7d5ff5547273090 (diff) | |
| download | php-git-5ca8ba7ab655f8b434ac12577c470b5f2b9eb646.tar.gz | |
Add an --man-dir to php-config too
Diffstat (limited to 'scripts/dev/generate-phpt/src')
0 files changed, 0 insertions, 0 deletions