From 8df9a0c57a9545878426e4653a4ef89c31a8a760 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Tue, 1 Sep 2020 13:49:24 +0200
Subject: [PATCH] removed unused option
---
package.json | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/package.json b/package.json
index 5723cf0..cdbf53e 100644
--- a/package.json
+++ b/package.json
@@ -73,7 +73,7 @@
"description": "Option for enabeling (extensiv) debug messages"
},
"common.javaHome": {
- "id": "7",
+ "id": "6",
"title": "Java Home",
"scope": "application",
"type": "string",
--
GitLab