fix workspace discovery & sorting when folder has an extension#121
Merged
jplatte merged 1 commit intoDevinR528:mainfrom Jan 12, 2026
Merged
fix workspace discovery & sorting when folder has an extension#121jplatte merged 1 commit intoDevinR528:mainfrom
jplatte merged 1 commit intoDevinR528:mainfrom