From d1c7754f7d0536f3cc2e1d0abba50ad5e4edf18f Mon Sep 17 00:00:00 2001
From: BlueHotDog <BlueHotDog@users.noreply.github.com>
Date: Sat, 28 Nov 2020 14:35:17 +0200
Subject: [PATCH] renaming config to rescript

---
 package.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/package.json b/package.json
index 32dbc4c15..996c9bb5c 100644
--- a/package.json
+++ b/package.json
@@ -39,7 +39,7 @@
 		],
 		"configuration": {
 			"type": "object",
-			"title": "Example configuration",
+			"title": "ReScript",
 			"properties": {
 				"languageServerExample.maxNumberOfProblems": {
 					"scope": "resource",
@@ -101,4 +101,4 @@
 		"chokidar": "^3.4.2",
 		"tmp": "^0.2.1"
 	}
-}
+}
\ No newline at end of file