aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/cPrimitives.mli
Commit message (Collapse)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
|
* Moving file primitive.ml to cPrimitive.ml to avoid conflict with OCaml.Gravatar Hugo Herbelin2017-08-12
Indeed OCaml has a similar file and this conflicts, at least in debugger.