diff options
| author | David Aspinall | 2010-10-01 15:35:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-01 15:35:25 +0000 |
| commit | dfff8b899a1aec4236368da71cca2e590c7f03e0 (patch) | |
| tree | 45c9ae8090fe3581742d168cf07f9c9b066a2b83 /etc | |
| parent | 62fb902e33e4e59a974bfb976f45b4648320d4e8 (diff) | |
coq-highlight-error: use span-add-self-removing-span (highlight and removal in background)
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions