| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-09-09 | Remove labltk from the distribution (will be available as a third-party libra... | Xavier Clerc |
| 2012-07-30 | clean up TABs and whitespace | Damien Doligez |
| 2010-08-02 | merge changes from branching of 3.12 to release/3.12.0 | Damien Doligez |
 |
index : adrien/ocaml | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiffstats |