K 10 svn:author V 4 kris K 8 svn:date V 27 2003-11-08T06:26:55.000000Z K 7 svn:log V 58 As announced on Aug 7, remove the broken ETHOberonV4 port END