K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2010-11-03T13:42:59.651320Z
K 7
svn:log
V 78
Delete machine/foo.h headers moved to x86/.  I forgot to commit this
earlier.

END