diff options
| author | Gaëtan Gilbert | 2018-02-13 15:51:25 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-02-13 15:51:25 +0100 |
| commit | d9cb50d8f9b2bb16ddf7c27c146e09d7de33b90f (patch) | |
| tree | edd0e0928e69801830aedb6f5e7dfd6938dfc429 /plugins | |
| parent | d5c771138a3b2ce753f458396d82eef9a4557e20 (diff) | |
coqdev.el: wait for 'compile to touch compilation-error-regexp-alist
(and alist-alist)
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions