gitback/doomemacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #1920 from rgrinberg/coq-disable-electric-terminators

Browse Source 
lang/coq: proof-electric-terminator-enable = nil
This commit is contained in:
Henrik Lissner 2019-10-20 19:59:20 -04:00 committed by GitHub
commit 993e14b2e8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
modules/lang/coq/config.el
View File

@ -13,8 +13,6 @@
;;;###package coq
(setq proof-electric-terminator-enable t)
;; Doom syncs other indent variables with `tab-width'; we are trusting major
;; modes to set it -- which most of them do -- but coq-mode doesn't, so...
(setq-hook! 'coq-mode-hook tab-width proof-indent)