Skip to content

Hard-code dest to fix server extension loading#131

Merged
krassowski merged 2 commits intojupyterlab-contrib:masterfrom krassowski:fix-initJul 4, 2023