diff options
| author | dymil | 2020-09-10 20:03:50 -0400 |
|---|---|---|
| committer | GitHub | 2020-09-11 02:03:50 +0200 |
| commit | 4f6b6027632f55d7a8248ae509cc6526a372ce9f (patch) | |
| tree | 935bf0f150743c29ac21276f8b8ca02ec46cd5cc /coq/coq-syntax.el | |
| parent | 8f609bd75a3388fcef78c76fb817ccb1cd63d82a (diff) | |
fix(coq/coq.el): spelling of "whether" (#512)
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions