summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Added ~ppc wrt bug 190720Gysbert Wassenaar2007-09-081-2/+2
* version bump, bug #190720, dropping ppc keyword for camlp5 depAlexis Ballier2007-08-301-0/+31