Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename contracts branch.contracts-3.11 | Xavier Leroy | 2011-10-20 | 21 | -0/+0 |
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts-3.11@11226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 |
index : delta/ocaml.git | ||
github.com: ocaml/ocaml |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename contracts branch.contracts-3.11 | Xavier Leroy | 2011-10-20 | 21 | -0/+0 |
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts-3.11@11226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 |