diff options
| author | Amin Timany | 2017-08-18 15:35:33 +0200 |
|---|---|---|
| committer | GitHub | 2017-08-18 15:35:33 +0200 |
| commit | 2bb2877795ca1b6234dae05fe9b55e68abcd22ea (patch) | |
| tree | c00efb0c299a458855fba3b33d78b5dbaf9c86d2 /API/API.mli | |
| parent | 63da901edc3ab5b69098499cdc01ab50ed9b3353 (diff) | |
Correct the option for cumulativity in CHANGES
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions