Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/config.ts')
| -rw-r--r-- | editors/code/src/config.ts | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index dc0165df71..1e3dc60809 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -252,10 +252,6 @@ export class Config { await this.cfg.update("checkOnSave", !(value || false), target || null, overrideInLanguage); } - get discoverProjectRunner(): string | undefined { - return this.get<string | undefined>("discoverProjectRunner"); - } - get problemMatcher(): string[] { return this.get<string[]>("runnables.problemMatcher") || []; } |