mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-03 15:50:52 +07:00
(cherry picked from commit 94456d3a1f0be2e747641b74ce8246857b1a3f77) IJ-MR-169158 GitOrigin-RevId: 4cdf0b90f601ca37b0f11b4392dbcfcf856472c6