diff options
| author | dymil | 2020-09-10 19:41:47 -0400 |
|---|---|---|
| committer | GitHub | 2020-09-11 01:41:47 +0200 |
| commit | 8f609bd75a3388fcef78c76fb817ccb1cd63d82a (patch) | |
| tree | 76fd8824dec79c2a1266013b40c9815f859f0452 /coq/coq.el | |
| parent | 3f1b2e2dd447328947596731f6dfa623f31a5b3d (diff) | |
fix(CHANGES): spelling of "whether" (#511)
Diffstat (limited to 'coq/coq.el')
0 files changed, 0 insertions, 0 deletions