K 10 svn:author V 3 wen K 8 svn:date V 27 2011-03-07T06:38:10.000000Z K 7 svn:log V 107 - Remove obsolete gnat-doc(3.15p) ports PR: ports/153676 Submitted by: John Marino END