summaryrefslogtreecommitdiff
path: root/testsuite/tests/regression-pr5080-notes
Commit message (Collapse)AuthorAgeFilesLines
* Rename contracts branch.contracts-3.11Xavier Leroy2011-10-201-0/+0
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts-3.11@11226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02