K 10
svn:author
V 8
kientzle
K 8
svn:date
V 27
2007-07-07T16:55:42.000000Z
K 7
svn:log
V 151
Fix installworld:  /usr/bin/printf isn't available then,
so use awk's printf for the formatting here instead.

Pointy hat: Yours Truly
Approved by: re

END