summaryrefslogtreecommitdiff
path: root/stdlib/spacetime.mli
Commit message (Expand)AuthorAgeFilesLines
* fix several typos in commentsDaniel2017-02-131-1/+1
* Merge pull request #1017 from Octachron/potential_cross_reference_warningFlorian Angeletti2017-02-051-4/+4
|\
| * Add cross-reference detected by ocamldococtachron2017-02-011-4/+4
* | Expose Spacetime.enabledLeo White2017-01-101-0/+4
|/
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-0/+95