mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Merge-request: IJ-MR-141358 Merged-by: Roman Vasiliev <Roman.Vasiliev@jetbrains.com> GitOrigin-RevId: 39a61f9374f44a28afe2417ecace9c7f063e1baf