From 35e95fac8d81ee9c09b89fe02cfbb3da6405e053 Mon Sep 17 00:00:00 2001
From: jxnu-liguobin <dreamylost@outlook.com>
Date: Fri, 22 Dec 2023 09:43:05 +0800
Subject: [PATCH] Update README.md

---
 README.md | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/README.md b/README.md
index 1e5f5601..0c8d04b2 100644
--- a/README.md
+++ b/README.md
@@ -69,12 +69,6 @@ ThisBuild / resolvers ++= Seq(
 )
 ```
 
-# 特别感谢
-
-<img src="https://resources.jetbrains.com/storage/products/company/brand/logos/IntelliJ_IDEA.svg" alt="IntelliJ IDEA logo.">
-
-This project is developed using JetBrains IDEA.
-Thanks to JetBrains for providing me with a free license, which is a strong support for me.
 
 [Badge-CI]: https://github.com/bitlap/smt/actions/workflows/ci.yml/badge.svg
 [Badge-Scaladex]: https://index.scala-lang.org/bitlap/smt/smt-annotations/latest-by-scala-version.svg?platform=jvm