diff options
| author | Hendrik Tews | 2016-11-24 12:21:06 +0100 |
|---|---|---|
| committer | Hendrik Tews | 2016-11-29 23:49:20 +0100 |
| commit | f158ae23977cfb40a4a2f7a0db123940f59768f8 (patch) | |
| tree | 250251cc926db14ba8f0b2379f30cbfda96e8dbe /pgshell/example.pgsh | |
| parent | 6be1cced12f8e9de9724a73b8b0fb29440cad3dc (diff) | |
8.4 compatibility for quick support
8.4 compatibility is done by ignoring all quick settings for
`coq-compile-quick' via a :set function. This does only work if
this variable is only changed via the customization system and
not directly via setq.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions