mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit 9e4ea9e5832773fc78132d0ab40c9a9b879e84d0) IJ-MR-149055 GitOrigin-RevId: 9ab5e2dc15c3168548a4fc1c8ac7a651668255c4