summaryrefslogtreecommitdiff
path: root/community/coq/camlp5-latest-fix.diff
AgeCommit message (Expand)Author
2012-03-21Wed Mar 21 00:01:20 UTC 2012root