K 10 svn:author V 4 ache K 8 svn:date V 27 1995-08-04T00:12:08.000000Z K 7 svn:log V 108 Change default banner to FreeBSD, properly ifdefed by __FreeBSD__ Reviewed by: Submitted by: Obtained from: END