GitHub repository: jupyter-server/jupyter_server_fileid
Primary language: Python
Created: 2022-09-01T17:53:05Z
Description: An extension that maintains file IDs for documents in a running Jupyter Server