diff options
| author | Arnaud Spiwack | 2014-07-31 14:28:28 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-08-01 19:18:58 +0200 |
| commit | a7a3f6510643b4fa4bc3299c5111c44b4887873d (patch) | |
| tree | db2f92c2dcd38001c32959ebecfbd74b17b58315 /kernel/type_errors.mli | |
| parent | 19394cc1e21c775e2151eea07970a98e6ddbce6a (diff) | |
Fix English spelling -> American spelling in doc.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions