diff options
| author |  Amin Timany <amintimany@gmail.com> | 2017-08-02 09:42:37 +0200 |
|---|---|---|
| committer | Amin Timany <amintimany@gmail.com> | 2017-08-02 09:42:37 +0200 |
| commit | 2f0e71c7e25eb193f252b6848dadff771dbc270d (patch) | |
| tree | bc6c44f91227d581b995c586a3a0cc733368d9f6 /printing/printmod.mli | |
| parent | 819fd4a7a431efb41a080e7aabef2a66a3ca2417 (diff) | |
Typo in the documentation of cumulativity
Diffstat (limited to 'printing/printmod.mli')
0 files changed, 0 insertions, 0 deletions