mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
(cherry picked from commit d0dae3dc8a593806d0218b02a130ac545ec6ca99) IJ-MR-112631 GitOrigin-RevId: f4598c40b4e078e8001f66655b532b45b9b71dae