mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-28 04:37:32 +07:00
(cherry picked from commit bf854f9581b9fb076cc689e33fae8e2c286e4c68) IJ-MR-194096 GitOrigin-RevId: c449b9595df75792c7f92fccee77603c4623e060