mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
(cherry picked from commit 65a37e82ef552a95515dbeedececbeb0e2696d38)
IJ-MR-188464
Space-RevId: 78cc3d1451493ac2d4bd905157d255b5e356ac48
GitOrigin-RevId: 28fa1bf89d4ac06fffe9a0cf99470b56792af3aa
(cherry picked from commit fa75590de3)