Specify `--` as comment syntax for ipkg mode

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

268 stars 70 forks source link

Open keram opened 2 months ago

keram commented 2 months ago

Why: To avoid prompt when executing comment-* function in *.ipkg file.

comment-normalize-vars: No comment syntax defined