Bump version to 0.1.0

shnarazk · Nov 28, 2024 · b1aded6 · b1aded6
1 parent 44ba4fc
commit b1aded6
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zed-lean4"
-version = "0.0.2"
+version = "0.1.0"
 edition = "2021"
 
 [lib]

diff --git a/extension.toml b/extension.toml
@@ -1,6 +1,6 @@
 id = "lean4"
 name = "Lean4"
-version = "0.0.2"
+version = "0.1.0"
 schema_version = 1
 authors = ["Narazaki, Shuji <shnarazk@protonmail.com>"]
 description = "Lean4 extension"