mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 18:50:54 +07:00
+ Follow the main action logic in intentions Merge-request: IJ-MR-167518 Merged-by: Kirill Bochkarev <kirill.bochkarev@jetbrains.com> GitOrigin-RevId: 037456643fd7f4c879ae9fe2c61bd1f30fd26c37