mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
* add new / select existing for local sdks * create a new project with hatch sdk * open hatch-managed project (cherry picked from commit 86e970a39bc44cec34be7c82717806fc4d0009c4) GitOrigin-RevId: 305e5363337e9120261f72e964e7d9e3c1a62c7c