diff options
| author |   Tim Yamin <plasmaroo@gentoo.org> | 2004-02-02 18:06:54 +0000 |
|---|---|---|
| committer | Tim Yamin <plasmaroo@gentoo.org> | 2004-02-02 18:06:54 +0000 |
| commit | 29988f5070737263a9bbf9952e65dd74a57995c2 (patch) | |
| tree | d5a09c5bb3a7efb601e6ddcc590df81defc41aed /dev-php | |
| parent | Version bump (diff) | |
| download | historical-29988f5070737263a9bbf9952e65dd74a57995c2.tar.gz historical-29988f5070737263a9bbf9952e65dd74a57995c2.tar.bz2 historical-29988f5070737263a9bbf9952e65dd74a57995c2.zip | |
Fixed a problem with the incorrect header file getting installed, should solve bug #40175.
Diffstat (limited to 'dev-php')
0 files changed, 0 insertions, 0 deletions