fix {{ and }} inside strings

gares · gares · commit 277a66b0f203 · 2022-11-10T15:58:57.000+01:00
diff --git a/syntaxes/coq-elpi-quotation.tmLanguage.json b/syntaxes/coq-elpi-quotation.tmLanguage.json
@@ -74,5 +74,5 @@
 		}
 	},
 	"scopeName": "coq-elpi-quotation.injection",
-	"injectionSelector": "L:source.elpi -comment, L:source.coq -comment"
+	"injectionSelector": "L:source.elpi -comment -string, L:source.coq -comment -string"
 }

Original file line number	Diff line number	Diff line change
`@@ -74,5 +74,5 @@`
`74`	`74`	`}`
`75`	`75`	`},`
`76`	`76`	`"scopeName": "coq-elpi-quotation.injection",`
`77`		`- "injectionSelector": "L:source.elpi -comment, L:source.coq -comment"`
	`77`	`+ "injectionSelector": "L:source.elpi -comment -string, L:source.coq -comment -string"`
`78`	`78`	`}`