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