Updating packages

coq · Jan 24, 2024 · 05d4660 · 05d4660
1 parent 44fb40c
commit 05d4660
Show file tree

Hide file tree

Showing 2 changed files with 722 additions and 727 deletions.
diff --git a/client/package.json b/client/package.json
@@ -325,7 +325,7 @@
       }
     ],
     "menus": {
-       "editor/context": [
+      "editor/context": [
         {
           "when": "resourceLangId == coq",
           "command": "extension.coq.interpretToPoint",
@@ -351,7 +351,7 @@
           "command": "extension.coq.query.locate",
           "group": "queries"
         }
-      ], 
+      ],
       "view/title": [
         {
           "command": "extension.coq.addQueryTab",