Package: coq Version: 8.1.pl1+dfsg-3 Severity: minor File: /etc/emacs/site-start.d/50coq.el Tags: patch
In /etc/emacs/site-start.d/50coq.el,
(setq auto-mode-alist (cons '("\\.v$" . coq-mode) auto-mode-alist))
should read
(setq auto-mode-alist (cons '("\\.v\\'" . coq-mode) auto-mode-alist))
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
