K 10 svn:author V 5 erwin K 8 svn:date V 27 2009-05-09T13:45:37.000000Z K 7 svn:log V 74 Turn off IDE by default as this port is not added (yet) to unbreak INDEX. END