From 9c7c16f3958eae2218c8adb879e3ff421192e3c4 Mon Sep 17 00:00:00 2001 From: Nico De Cleyre <35696168+nicodecleyre@users.noreply.github.com> Date: Sun, 16 Apr 2023 12:33:03 +0200 Subject: [PATCH] Update settingsNames.ts --- src/settingsNames.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/settingsNames.ts b/src/settingsNames.ts index be23672a4a6..d4faaf14b52 100644 --- a/src/settingsNames.ts +++ b/src/settingsNames.ts @@ -12,8 +12,8 @@ const settingsNames = { output: 'output', printErrorsAsPlainText: 'printErrorsAsPlainText', prompt: 'prompt', - showHelpOnFailure: 'showHelpOnFailure', proxyUrl: 'proxyUrl' + showHelpOnFailure: 'showHelpOnFailure' }; export { settingsNames };