Skip to content

Commit

Permalink
fix binder by updating metadata id (#95)
Browse files Browse the repository at this point in the history
  • Loading branch information
untzag authored Aug 14, 2023
1 parent 4461cd8 commit c77686d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion binder/workspace.json
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"data":{"layout-restorer:data":{"main":{"dock":{"type":"tab-area","currentIndex":0,"widgets":["notebook:binder/index.ipynb"]},"mode":"multiple-document","current":"notebook:binder/index.ipynb"},"left":{"collapsed":false,"current":"filebrowser","widgets":["filebrowser","running-sessions","command-palette","jp-property-inspector","tab-manager","extensionmanager.main-view"]},"right":{"collapsed":true,"widgets":[]}},"file-browser-filebrowser:cwd":{"path":"binder"},"notebook:binder/index.ipynb":{"data":{"path":"binder/index.ipynb","factory":"Notebook"}}},"metadata":{"id":"/lab"}}
{"data":{"layout-restorer:data":{"main":{"dock":{"type":"tab-area","currentIndex":0,"widgets":["notebook:binder/index.ipynb"]},"mode":"multiple-document","current":"notebook:binder/index.ipynb"},"left":{"collapsed":false,"current":"filebrowser","widgets":["filebrowser","running-sessions","command-palette","jp-property-inspector","tab-manager","extensionmanager.main-view"]},"right":{"collapsed":true,"widgets":[]}},"file-browser-filebrowser:cwd":{"path":"binder"},"notebook:binder/index.ipynb":{"data":{"path":"binder/index.ipynb","factory":"Notebook"}}},"metadata":{"id":"WORKSPACE_ID"}}

0 comments on commit c77686d

Please sign in to comment.