aboutsummaryrefslogtreecommitdiff
path: root/lang/gnat-doc-html
Commit message (Expand)AuthorAgeFilesLines
* With portmgr hat on, reset maintainership of these ports. Maintainer'sMark Linimon2005-02-131-1/+1
* Add size data.Trevor Johnson2004-03-181-0/+1
* - Update to 3.15pPav Lucistnik2003-12-197-13/+37
* De-pkg-comment.Akinori MUSHA2003-02-212-1/+1
* Fix URLs in pkg-messageEdwin Groothuis2002-12-121-4/+4
* Change of maintainers email address.Edwin Groothuis2002-11-171-2/+2
* Update to version 3.14pKevin Lo2002-02-087-9/+30
* o New port jgnat-doc-html version 1.1p: Documentation for the JGNATMario Sergio Fujikawa Ferreira2001-12-0514-0/+283