diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2006-12-13 14:10:36 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2006-12-13 14:10:36 +0000 |
| commit | 10cd6f2061e8c35a6f6cb0a07772cf6dad0de43f (patch) | |
| tree | 8ffd21f5a59ba763aa40b481f202ed8da00be71f /lib/bufhist.el | |
| parent | c8496375c8bafbbcdfd4cc346a87c031d0b0254c (diff) | |
Added completion to coq-prog-name asking.
Diffstat (limited to 'lib/bufhist.el')
0 files changed, 0 insertions, 0 deletions