diff options
author | 2017-08-02 09:42:37 +0200 | |
---|---|---|
committer | 2017-08-02 09:42:37 +0200 | |
commit | 2f0e71c7e25eb193f252b6848dadff771dbc270d (patch) | |
tree | bc6c44f91227d581b995c586a3a0cc733368d9f6 /lib/cErrors.ml | |
parent | 819fd4a7a431efb41a080e7aabef2a66a3ca2417 (diff) |
Typo in the documentation of cumulativity
Diffstat (limited to 'lib/cErrors.ml')
0 files changed, 0 insertions, 0 deletions