summaryrefslogtreecommitdiff
path: root/lang/gnat-doc-info
AgeCommit message (Expand)Author
2003-12-20- Remove unused file.Pav Lucistnik
2002-11-17Change of maintainers email address.Edwin Groothuis
2002-10-28Add a plist fileKris Kennaway
2001-12-05o New port gnat-doc-info version 3.13p: Documentation for the GNATMario Sergio Fujikawa Ferreira