package publish
This commit is contained in:
parent
13294214a2
commit
af2dd5e774
1 changed files with 1 additions and 1 deletions
|
@ -27,7 +27,7 @@ syn match atsKeyword "\v[\%\+\-\<\>\=!\:\~]+"
|
|||
syn keyword atsFixity infixr infixl prefix postfix
|
||||
|
||||
syn keyword arrowContents cloref1 cloptr1 lincloptr cloref cloptr
|
||||
syn match arrowContents '/'
|
||||
syn match arrowContents '\/'
|
||||
|
||||
syn region atsArrow start="=<" end=">" contains=arrowContents
|
||||
syn region atsArrow start="-<" end=">"
|
||||
|
|
Loading…
Reference in a new issue