diff options
Diffstat (limited to 'coq/coq-indent.el')
| -rw-r--r-- | coq/coq-indent.el | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/coq/coq-indent.el b/coq/coq-indent.el index 1f7f353e..d5f3b49d 100644 --- a/coq/coq-indent.el +++ b/coq/coq-indent.el @@ -884,10 +884,9 @@ argument must be t if inside the {}s of a record, nil otherwise." (goto-char fin))) -;;; Local Variables: *** -;;; fill-column: 85 *** -;;; indent-tabs-mode:nil *** -;;; End: *** +;; Local Variables: *** +;; indent-tabs-mode:nil *** +;; End: *** (provide 'coq-indent) |