Update extensions.json

EclipseFdn · Jun 13, 2024 · 2d3d33f · 2d3d33f
1 parent 7d3778c
commit 2d3d33f
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/extension-control/extensions.json b/extension-control/extensions.json
@@ -279,7 +279,14 @@
                 "displayName": "Code Butler"
             }
         },
-        "redhat.atlasmap-viewer": true
+        "redhat.atlasmap-viewer": true,
+        "AdaCore.ada-debug": {
+            "disallowInstall": true,
+            "extension": {
+                "id": "AdaCore.ada",
+                "displayName": "Ada & SPARK"
+            }
+        }
     },
     "migrateToPreRelease": {
         "julialang.language-julia-insider": {