K 10
svn:author
V 5
peter
K 8
svn:date
V 27
2001-01-05T10:41:15.000000Z
K 7
svn:log
V 136
These patches are redundant, and have been for quite some time.
The configure script used to override our manual settings, but no more.

END