K 10 svn:author V 6 gerald K 8 svn:date V 27 2009-08-19T21:08:43.000000Z K 7 svn:log V 133 Remove lang/gcc42-withgcjawt which basically is just lang/gcc42 with an extra option set and no longer used by anything in the tree. END