Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Remove obsolete gnat-doc(3.15p) ports | wen | 2011-03-07 | 1 | -15/+0 |
* | - Ignore port if NOPORTDOCS is defined. | stefan | 2010-07-01 | 1 | -1/+5 |
* | - Remove unused file. | pav | 2003-12-20 | 1 | -94/+0 |
* | Change of maintainers email address. | edwin | 2002-11-18 | 1 | -1/+1 |
* | Add a plist file | kris | 2002-10-28 | 1 | -0/+94 |
* | o New port gnat-doc-info version 3.13p: Documentation for the GNAT | lioux | 2001-12-05 | 1 | -0/+11 |