Skip to content

improvement: convert workspace folder to be a Metals project on chosen commands#7135

Open
kasiaMarek wants to merge 2 commits intoscalameta:mainfrom kasiaMarek:i7031

Commits

Commits on Jan 20, 2025

Commits on Jan 21, 2025