Henrik Lissner d03ac051bf fix(coq): inhibit indent detection ...

Indent detection (via dtrt-indent) is slow and inconclusive in coq-mode
files. Since it's rarely helpful for them anyway, I inhibit it.

Fix: #5823

2024-02-02 03:33:53 -05:00

3.3 KiB

Raw Blame History

View Raw