aboutsummaryrefslogtreecommitdiffstats
path: root/lang/gnat-doc-info
Commit message (Expand)AuthorAgeFilesLines
* - Ignore port if NOPORTDOCS is defined.stefan2010-07-011-1/+5
* - Remove unused file.pav2003-12-201-94/+0
* Change of maintainers email address.edwin2002-11-181-1/+1
* Add a plist filekris2002-10-281-0/+94
* o New port gnat-doc-info version 3.13p: Documentation for the GNATlioux2001-12-051-0/+11