From 7ae5d988a10aac11f9da93ed1d5934cf7a36889c Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Mon, 18 Sep 2023 16:30:29 +0000
Subject: [PATCH] Lint

---
 packages/application/src/tokens.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/application/src/tokens.ts b/packages/application/src/tokens.ts
index 111d858ce0c..4701068e957 100644
--- a/packages/application/src/tokens.ts
+++ b/packages/application/src/tokens.ts
@@ -17,12 +17,12 @@ export namespace INotebookPathOpener {
     /**
      * The URL prefix, which should include the base URL
      */
-    prefix: string
+    prefix: string;
 
     /**
      * The path to open in the application, e.g `setup.py`, or `notebooks/example.ipynb`
      */
-    path?: string,
+    path?: string;
 
     /**
      * The extra search params to use in the URL.