From b1aded6b845794d093e21378ad2d5a81a601f63d Mon Sep 17 00:00:00 2001
From: "Narazaki, Shuji" <shujinarazaki@protonmail.com>
Date: Thu, 28 Nov 2024 23:09:26 +0900
Subject: [PATCH] Bump version to 0.1.0

---
 Cargo.lock     | 6 +++---
 Cargo.toml     | 2 +-
 extension.toml | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index a4fb92a..a630631 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -54,9 +54,9 @@ dependencies = [
 
 [[package]]
 name = "itoa"
-version = "1.0.13"
+version = "1.0.14"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "540654e97a3f4470a492cd30ff187bc95d89557a903a2bbf112e2fae98104ef2"
+checksum = "d75a2a4b1b190afb6f5425f10f6a8f959d2ea0b9c2b1d79553551850539e4674"
 
 [[package]]
 name = "leb128"
@@ -312,7 +312,7 @@ dependencies = [
 
 [[package]]
 name = "zed-lean4"
-version = "0.0.2"
+version = "0.1.0"
 dependencies = [
  "zed_extension_api",
 ]
diff --git a/Cargo.toml b/Cargo.toml
index 8402b5e..2e89c90 100644
--- 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
index c8102ba..b7d5826 100644
--- 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"