diff options
| author | Hendrik Tews | 2020-11-20 23:12:09 +0100 |
|---|---|---|
| committer | Hendrik Tews | 2020-12-07 14:56:32 +0100 |
| commit | 1689a494635fce5fbbadbdc3bed50299fd7521ab (patch) | |
| tree | efe420b3488a3fdea747afc099e3f274c8f59dc0 /FAQ.md | |
| parent | ccb37e8026e208825c10f4d5ce64378430e5f7a3 (diff) | |
fix coq-callcoq for emacs 27
Use process-file and omit find-file-name-handler, because
process-file takes care of file handlers already.
Fixes #525
Diffstat (limited to 'FAQ.md')
0 files changed, 0 insertions, 0 deletions