Can these be deleted now @mengyanw - Githubissues

educational-technology-collective / jupyterlab-pioneer

A JupyterLab extension for generating and exporting JupyterLab event telemetry data.

https://jupyterlab-pioneer.readthedocs.io/

BSD 3-Clause "New" or "Revised" License

11 stars 2 forks source link

Can these be deleted now @mengyanw #13

Closed cab938 closed 11 months ago

cab938 commented 11 months ago

// TODO: Can these be deleted now @mengyanw

https://github.com/educational-technology-collective/jupyterlab-pioneer/blob/ab7047008b4d948cee4fdbb4cd5387fb574cac26/src/index.ts#L16