gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-24 18:58:08 -07:00
Code Issues Projects Releases Wiki Activity

app-emacs/company-coq: add company-coq-mode hook to coq-mode

Browse Source 
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2022-03-07 00:25:48 +01:00
parent 10c7e0a0e1
commit 5b14c6129c
2 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

0
app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild → app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
View File

3
app-emacs/company-coq/files/50company-coq-gentoo.el
View File

@@ -1 +1,4 @@
(add-to-list 'load-path "@SITELISP@")
(autoload 'company-coq-mode "company-coq"
"Collection of extensions for Proof General's Coq mode" t)
(add-hook 'coq-mode 'company-coq-mode)