K 10 svn:author V 4 hoek K 8 svn:date V 27 1998-03-16T03:19:15.000000Z K 7 svn:log V 129 Merge the changes (correct style) I made to the port. Note that we don't need more copies of the GNU GPL license in the system. END