fix line and block comment definition

This commit is contained in:
Juri Leino 2018-11-22 15:10:41 +01:00 committed by GitHub
parent 84adff578f
commit ff44690b6e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 6 deletions

View File

@ -1,10 +1,7 @@
{
"comments": {
"lineComment": "//",
"blockComment": [
"/*",
"*/"
]
"lineComment": ["(:", ":)"]
"blockComment": [ "(:~", "~:)"]
},
"brackets": [
[
@ -20,4 +17,4 @@
")"
]
]
}
}