K 10 svn:author V 3 phk K 8 svn:date V 27 2011-05-17T19:20:32.456698Z K 7 svn:log V 126 Ok, so we use different comment conventions in Symbol.map and Version.def "#notimpressed" as my twittering friends would say. END