From e96174e337be5791f8f4e400ab3d22417e90afea Mon Sep 17 00:00:00 2001 From: somebody1234 Date: Wed, 9 Aug 2023 16:51:20 +1000 Subject: [PATCH] Fix lint warning --- app/ide-desktop/lib/content/src/index.ts | 4 ---- 1 file changed, 4 deletions(-) diff --git a/app/ide-desktop/lib/content/src/index.ts b/app/ide-desktop/lib/content/src/index.ts index f45c319014d0..1fb55a42e77d 100644 --- a/app/ide-desktop/lib/content/src/index.ts +++ b/app/ide-desktop/lib/content/src/index.ts @@ -35,10 +35,6 @@ const SERVICE_WORKER_PATH = './serviceWorker.js' const SECOND = 1000 /** Time in seconds after which a `fetchTimeout` ends. */ const FETCH_TIMEOUT = 300 -/** The URL parameter name of the "Project Manager URL" parameter. - * This MUST be changed if the corresponding option in - * `content-config/src/config.json` is changed. */ -const PROJECT_MANAGER_URL_PARAMETER_NAME = 'engine.projectManagerUrl' // =================== // === Live reload ===