diff options
| author | Grahame Grieve <grahameg@gmail.com> | 2019-03-24 03:54:49 +1100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-03-23 10:54:49 -0600 |
| commit | 2c598fb3c8a0bd7e150d6dfd8655d6b752ebb1a5 (patch) | |
| tree | 240eaec898c23db34054d179db71db9a9001e7b4 /tools/make_spec.lua | |
| parent | f95f0d090ea4370bd40da7acbfc3b7da669f3692 (diff) | |
Fix typo in spec (#551)
Change "If none in found" to "If none is found"
Diffstat (limited to 'tools/make_spec.lua')
0 files changed, 0 insertions, 0 deletions