We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
package.json
1 parent 5e5a086 commit 2732ab6Copy full SHA for 2732ab6
package.json
@@ -8,7 +8,7 @@
8
"url": "https://github.com/JetBrains-Research/coqpilot"
9
},
10
"publisher": "JetBrains-Research",
11
- "version": "2.4.2",
+ "version": "2.4.3",
12
"engines": {
13
"vscode": "^1.95.0"
14
0 commit comments