mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
(cherry picked from commit da1fadd5578f02c60dd9133478dea98b83bee2bf) (cherry picked from commit 70b275c19b869f275dae0a7cd31fa6c5703c1089) IJ-MR-159792 GitOrigin-RevId: 2f6155106cd375e4d94004f991a9c37097d4f9d3