summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* added ~amd64 to KEYWORDS, fixes #88950Jan Brinkmann2005-04-131-4/+14
* added ~amd64 to KEYWORDS, fixes #88950Jan Brinkmann2005-04-131-14/+4
* Fixed ChangeLog header. (Manifest recommit)Sven Wegener2004-12-281-4/+14
* Moved from app-sci/coq to sci-mathematics/coq.Olivier Fisette2004-12-281-0/+12