diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-16 18:59:33 -0400 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-16 18:59:33 -0400 |
| commit | 4346278e5ae54fe46a3dd04cb92892a0c9e045c0 (patch) | |
| tree | ba48721e71f3f2a4a2b8e6defa6d8a9491ab37a4 /coq/coq-syntax.el | |
| parent | 2e7f542aa80ead836ea7bfe14e4d94430a7b556c (diff) | |
Don't offer "" as the default in C-c C-c C-a
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions