fix: developer builtin name (#1699)

2025-03-14 11:34:25 -07:00
parent 805e359acf
commit e6c02fb463
2 changed files with 3 additions and 3 deletions
@@ -1,7 +1,7 @@
 [
  {
-    "id": "developertools",
-    "name": "Developer Tools",
+    "id": "developer",
+    "name": "Developer",
    "description": "General development tools useful for software engineering.",
    "enabled": true,
    "type": "builtin",