1.0.15

tree-sitter · Oct 3, 2018 · b794d7d · b794d7d
1 parent e9c4fb2
commit b794d7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "tree-sitter-agda",
-  "version": "1.0.14",
+  "version": "1.0.15",
   "description": "tree sitter for Agda",
   "main": "index.js",
   "scripts": {