mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit efaf7fb9ae413370f18429859c05f114e6cf4677) IJ-CR-176451 (cherry picked from commit 71bdaa9858d8092ad6201ce773c8b5d4117b86f5) GitOrigin-RevId: be66d9701e23760f035a3f5f3db822cfcc8630bb