K 10 svn:author V 2 dg K 8 svn:date V 27 1994-09-27T12:15:56.000000Z K 7 svn:log V 170 Woops, wrong solution to the problem. Backed out previous fix to ddb.h, and nuked the db_printf() declaration from db_output.h. Reviewed by: Submitted by: Obtained from: END