diff options
| author | Sam Pablo Kuper | 2017-07-31 21:13:53 +0100 |
|---|---|---|
| committer | Sam Pablo Kuper | 2017-07-31 21:14:03 +0100 |
| commit | d085b5711075cd51e0b95cf3aea102ab867b850d (patch) | |
| tree | bd789f5626afd3ed33b9b65caace6018aa49a6d7 /API/API.mli | |
| parent | 17f37f42792b3150fcebb6236b9896845957b89d (diff) | |
Minor grammar fix: replace a "then" with a "so".
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions