K 10
svn:author
V 6
emaste
K 8
svn:date
V 27
2019-05-07T13:04:26.029462Z
K 7
svn:log
V 320
Use @generated tag in generated files

Multiple tools use @generated to identify generated files (for example,
in a review Phabricator will by default hide diffs in generated files).
Use the @generated tag in makeobjops.awk and vnode_if.awk as we've done
for other generated files.

Sponsored by:	The FreeBSD Foundation

END