From 41a36ff5c767c9458020f427838477acec22754f Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 2 Jun 2022 18:05:23 +0200
Subject: [PATCH] Clarify Lean version in extension description.

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 66cc00e..5887950 100644
--- a/package.json
+++ b/package.json
@@ -1,7 +1,7 @@
 {
 	"name": "lean",
 	"displayName": "lean",
-	"description": "An extension for VS Code which provides support for the Lean language.",
+	"description": "Lean 3 language support for VS Code",
 	"version": "0.16.51",
 	"publisher": "jroesch",
 	"engines": {