K 10
svn:author
V 3
pgj
K 8
svn:date
V 27
2008-07-02T18:53:51.000000Z
K 7
svn:log
V 142
Remove the note about tipconf.h since there is no such file in the
src/ repository for a long while.

Reviewed by:	trhodes
Approved by:	gabor

END