mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 18:05:27 +07:00
(cherry picked from commit 53b58350772385740e682c36e7b9c11040fe73d9) IJ-CR-165957 GitOrigin-RevId: 850614c188a05dd33ad89841692f95f4f3878aa0