K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2005-11-13T21:50:03.000000Z
K 7
svn:log
V 130
Remove DEBUG knob which I have never seen in use (so that it does not
seem worthwhile adjusting it to the new WITH_ conventions).

END