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