Skip to content

Rename to jupyterlab-diff#20

Merged
jtpio merged 2 commits intojupyter-ai-contrib:mainfrom
jtpio:rename
Oct 23, 2025
Merged

Rename to `jupyterlab-diff`#20
jtpio merged 2 commits intojupyter-ai-contrib:mainfrom
jtpio:rename

Commits

Commits on Oct 23, 2025