diff options
| author | Hendrik Tews | 2021-01-24 20:48:13 +0100 |
|---|---|---|
| committer | hendriktews | 2021-01-31 21:42:52 +0100 |
| commit | 5c82792a079e3a05202486e37834689a67a71b4e (patch) | |
| tree | 0f7bcaa8d59b1d30c1ad481f241f6b4a1b3962fa /doc/ProofGeneral.texi | |
| parent | 58d6ec212c96cfd1f3ace6e8be16b1c46c66c718 (diff) | |
fix make magic problem with emacs 26 and older
Set text quoting style to get doc strings without unicode single
quotation marks to keep the regular expressions in
texi-docstring-magic working.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions