aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/vconv.ml
Commit message (Expand)AuthorAge
...
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 19:55:37 +0000