Skip to content

Fix issue #52: do not emit if unchanged#53

Merged
martinRenou merged 5 commits intojupyterlab-contrib:masterfrom michaelchia:fix-pathchanged-signalMay 31, 2024