Merge remote branch 'origin/master' into edge

mergerepo · mergerepo · commit 960d062dc6aa · 2022-07-21T22:45:43.000Z
(no-precommit-check no-tn-check)
diff --git a/integration/vscode/ada/language-configuration.json b/integration/vscode/ada/language-configuration.json
@@ -1,7 +1,7 @@
 {
     "comments": {
         // symbol used for single line comment. Remove this entry if your language does not support line comments
-        "lineComment": "--"
+        "lineComment": "-- "
     },
     // symbols used as brackets
     "brackets": [
@@ -24,4 +24,4 @@
         ["\"", "\""],
         ["'", "'"]
     ]
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"comments": {`
`3`	`3`	`// symbol used for single line comment. Remove this entry if your language does not support line comments`
`4`		`- "lineComment": "--"`
	`4`	`+ "lineComment": "-- "`
`5`	`5`	`},`
`6`	`6`	`// symbols used as brackets`
`7`	`7`	`"brackets": [`
`@@ -24,4 +24,4 @@`
`24`	`24`	`["\"", "\""],`
`25`	`25`	`["'", "'"]`
`26`	`26`	`]`
`27`		`-}`
	`27`	`+}`