Delete config values that we on longer read directly

This commit is contained in:
Robert
2023-09-18 11:15:34 +01:00
parent d4033615c8
commit 177c770f4d

View File

@@ -81,16 +81,6 @@ export const ENABLE_TELEMETRY = new Setting(
TELEMETRY_SETTING,
);
const GLOBAL_TELEMETRY_SETTING = new Setting("telemetry");
export const GLOBAL_ENABLE_TELEMETRY = new Setting(
"enableTelemetry",
GLOBAL_TELEMETRY_SETTING,
);
export const GLOBAL_TELEMETRY_LEVEL = new Setting(
"telemetryLevel",
GLOBAL_TELEMETRY_SETTING,
);
// Distribution configuration
const DISTRIBUTION_SETTING = new Setting("cli", ROOT_SETTING);
export const CUSTOM_CODEQL_PATH_SETTING = new Setting(