diff options
| author | Clément Pit--Claudel | 2015-10-06 21:46:42 -0400 |
|---|---|---|
| committer | Clément Pit--Claudel | 2015-10-06 21:48:15 -0400 |
| commit | 0f9b4075028073714acfd2eb0b01cb8d5b94c25a (patch) | |
| tree | 79ff532adefe1d3eb94602da0230348d783d643d /generic | |
| parent | 95dfb71faf2d7e922c67a292a6fdd170857e84eb (diff) | |
Put 'delete-selection t on coq-terminator-insert
delete-selection-mode requires command that insert text to be annotated
with a 'delete-selection property.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions