wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix typo [ci skip]

Browse source 
Closes Homebrew/homebrew#48008.

Signed-off-by: Baptiste Fontaine <batifon@yahoo.fr>
This commit is contained in:
Satoshi Ohmori 2016-01-13 03:01:26 +09:00 committed by Baptiste Fontaine
parent ff1ea13010
commit bb88a01951
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Formula/coq.rb
View file

@ -46,7 +46,7 @@ class Coq < Formula
end
def caveats; <<-EOS.undent
To use the Coq Emacs mode, add the the following to your init file:
To use the Coq Emacs mode, add the following to your init file:
(setq auto-mode-alist (cons '("\\\\.v$" . coq-mode) auto-mode-alist))
(autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t)
EOS