summaryrefslogtreecommitdiff
path: root/stdlib/std_init.ml
Commit message (Expand)AuthorAgeFilesLines
* Add std_init.ml, loaded before user code, and use it for Gc statsLouis Gesbert2015-11-071-0/+25