mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
(instead of reexporting via `intellij.platform.remote.core`) GitOrigin-RevId: 9d412fd96ef69ed84ab4d414e760dc8c447a6310
(instead of reexporting via `intellij.platform.remote.core`) GitOrigin-RevId: 9d412fd96ef69ed84ab4d414e760dc8c447a6310