mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-22 11:29:28 +07:00
(cherry picked from commit 7ff8f1020b34a319a520747ec84590d0ce7c9b3a) IJ-MR-98179 GitOrigin-RevId: 9a51c5737131a5f1b69a90abf2689c341a393aee