diff options
| author | Jim Fehrle | 2019-05-02 12:20:15 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2019-05-02 20:57:30 -0700 |
| commit | 09e099f44b0dc242367eb19d584b941a6dc0de09 (patch) | |
| tree | dfc0cb2b5c6e0ee52c916c334260f6b327030c6d /generic/proof-menu.el | |
| parent | 946be87a944c9d8b850fdddb83d36e2ef9dad5c9 (diff) | |
Fix typos
Diffstat (limited to 'generic/proof-menu.el')
0 files changed, 0 insertions, 0 deletions