Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | redundancy check now works / complement of exhaustiveness | Jacques Garrigue | 2015-09-02 | 1 | -3/+3 |
* | fix PR#5619 | Jacques Garrigue | 2012-05-25 | 1 | -0/+18 |
![]() |
index : delta/ocaml.git | |
github.com: ocaml/ocaml |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | redundancy check now works / complement of exhaustiveness | Jacques Garrigue | 2015-09-02 | 1 | -3/+3 |
* | fix PR#5619 | Jacques Garrigue | 2012-05-25 | 1 | -0/+18 |