idris-mode icon indicating copy to clipboard operation
idris-mode copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Specify `--` as comment syntax for ipkg mode

Open keram opened this issue 1 year ago • 0 comments

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

comment-normalize-vars: No comment syntax defined

keram avatar Jul 13 '24 15:07 keram