Skip to content

Commit

Permalink
Lint
Browse files Browse the repository at this point in the history
  • Loading branch information
jtpio committed Sep 18, 2023
1 parent 60557df commit 7ae5d98
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions packages/application/src/tokens.ts
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit 7ae5d98

Please sign in to comment.