mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
(cherry picked from commit 5047ba7c42d598c482782f69e7eced1fb4849dff) IJ-MR-155570 GitOrigin-RevId: f2ae9212461d7ebb5fe06f6edf7936f251592144