aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/cPrimitives.ml
Commit message (Expand)AuthorAge
* Moving file primitive.ml to cPrimitive.ml to avoid conflict with OCaml.Gravatar Hugo Herbelin2017-08-12