K 10
svn:author
V 4
dirk
K 8
svn:date
V 27
1999-07-03T09:50:42.000000Z
K 7
svn:log
V 182
- php3.ini lives in ${PREFIX}/etc (instead of ${PREFIX}/lib), now.
- redirect output of scripts/configure.php globally instead of redirecting
  each echo (saves about 900 bytes 8-).

END