diff options
| author | Paul Steckler | 2017-12-01 12:01:52 -0500 |
|---|---|---|
| committer | Paul Steckler | 2017-12-01 12:01:52 -0500 |
| commit | 500d33872a4f280a640bfc3ef02752f9e68643c7 (patch) | |
| tree | e75b6f1596684422bb2c15c1e160620cc78e2605 /API/API.mli | |
| parent | e29993c250164b9486d4d7ffdebb9bfee4a2828f (diff) | |
clarify operation of sequences, #6095
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions