Merge remote branch 'origin/master' into edge

AdaCore · Dec 1, 2023 · ba5805c · ba5805c
2 parents 890aebb + 8d15304
commit ba5805c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/integration/vscode/ada/package.json b/integration/vscode/ada/package.json
@@ -1,6 +1,6 @@
 {
     "name": "ada",
-    "displayName": "Ada",
+    "displayName": "Ada & SPARK",
     "description": "Ada & SPARK IntelliSense, code browsing, debugging and more.",
     "version": "24.0.999",
     "publisher": "AdaCore",