K 10
svn:author
V 6
scottl
K 8
svn:date
V 27
2003-05-31T12:43:31.000000Z
K 7
svn:log
V 89
Disable WITNESS, INVARIANTS, and DDB for the release branch.

Approved by:	re (implicit)

END