Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix typographic issues in the doc of new modules (#8744) | Guillaume Munch-Maccagnoni | 2019-06-26 | 1 | -4/+4 |
* | Improve protect | Guillaume Munch-Maccagnoni | 2019-02-03 | 1 | -1/+31 |
* | Stdlib: add Fun module. (#2129) | Daniel Bünzli | 2018-11-06 | 1 | -0/+33 |