summaryrefslogtreecommitdiff
path: root/php.ini-dist
diff options
context:
space:
mode:
authorSebastian Bergmann <sebastian@php.net>2001-10-18 08:49:37 +0000
committerSebastian Bergmann <sebastian@php.net>2001-10-18 08:49:37 +0000
commit7a2d291d50805af41bf0fcbb58c1cd371d0956fe (patch)
tree2739aaf6f689f63a4d6d7d8585062c9d0aa41038 /php.ini-dist
parent73dbeb6f6fdff082a6b396c1c66c4347c098eef0 (diff)
downloadphp-git-7a2d291d50805af41bf0fcbb58c1cd371d0956fe.tar.gz
Add ext/overload to modules workspace.
Diffstat (limited to 'php.ini-dist')
0 files changed, 0 insertions, 0 deletions