diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-15 23:37:22 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-15 23:37:22 +0100 |
| commit | ac75c2d63125e27f486ebb984152c866ef17e677 (patch) | |
| tree | e67adc5135e7222b2df58c573f6c4f9525ca384d /vim | |
| parent | d7913720128e48f07696565867f41c052d6e1f69 (diff) | |
| download | dotfiles-ac75c2d63125e27f486ebb984152c866ef17e677.tar.gz dotfiles-ac75c2d63125e27f486ebb984152c866ef17e677.zip | |
Fix slowdowns in coq-mode
Diffstat (limited to 'vim')
0 files changed, 0 insertions, 0 deletions