mirror of
https://github.com/preservim/nerdcommenter.git
synced 2025-02-21 20:29:39 +08:00
added delimiters for idris (http://www.idris-lang.org)
This commit is contained in:
parent
0b3d928dce
commit
a35a568a3f
@ -183,6 +183,7 @@ let s:delimiterMap = {
|
||||
\ 'gsp': { 'left': '<%--', 'right': '--%>', 'leftAlt': '<!--','rightAlt': '-->'},
|
||||
\ 'gtkrc': { 'left': '#' },
|
||||
\ 'haskell': { 'left': '{-','right': '-}', 'leftAlt': '--' },
|
||||
\ 'idris': { 'left': '{-','right': '-}', 'leftAlt': '--' },
|
||||
\ 'hb': { 'left': '#' },
|
||||
\ 'h': { 'left': '//', 'leftAlt': '/*', 'rightAlt': '*/' },
|
||||
\ 'haml': { 'left': '-#', 'leftAlt': '/' },
|
||||
|
Loading…
x
Reference in New Issue
Block a user