mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
This function was here for ages, but was never used. It useful to have an access to the project location field and disposable as it might be used by project-specific ui Merge-request: IJ-MR-145450 Merged-by: Ilya Kazakevich <ilya.kazakevich@jetbrains.com> GitOrigin-RevId: 0d19d80007418c58f1a684c459d8cfad5e6b406e