We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8786366 commit ebfdf18Copy full SHA for ebfdf18
package.yaml
@@ -1,5 +1,5 @@
1
name: agda-language-server
2
-version: 0.2.6.4.0.0
+version: 0.2.6.4.0.1
3
github: "banacorn/agda-language-server"
4
license: MIT
5
author: "Ting-Gian LUA"
0 commit comments