mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-05 04:40:28 +07:00
(cherry picked from commit 48d08a4d0d3db72fa458d7d67f6ccd72a435b4c8) IJ-CR-168601 GitOrigin-RevId: ca9dfd435af2f6c580af42d6eb2061d01cad98cf