mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-22 14:31:25 +07:00
(cherry picked from commit c99002308d5ae9d9e5013dd1cffc1f1d5f1e02a6) IJ-MR-163725 GitOrigin-RevId: 364098c714b8b5471cc68198fc53da3f2521edb0