K 10 svn:author V 5 peter K 8 svn:date V 27 1996-10-01T04:59:13.000000Z K 7 svn:log V 188 re-activate the printf builtin now that src/usr.bin/printf.c has been tweaked to work as a builtin better (ie: calls the real printf formatting code, not sh's cut-down out1fmt() function) END