From 10617938b1c9a0ee873762c6806483e0ead209f5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lauren=C8=9Biu=20Nicola?= Date: Thu, 25 Aug 2022 21:33:42 +0300 Subject: [PATCH] Remove unused UpdatesChannel type --- editors/code/src/config.ts | 2 -- 1 file changed, 2 deletions(-) diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index b83582a344..07e899eb0a 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -3,8 +3,6 @@ import * as vscode from "vscode"; import { Env } from "./client"; import { log } from "./util"; -export type UpdatesChannel = "stable" | "nightly"; - export type RunnableEnvCfg = | undefined | Record