mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
(cherry picked from commit 8efbd2a0aace3f0dcf139f6ac429cbfb78b818da) IJ-MR-129618 GitOrigin-RevId: 46f434a93518f53463f590f55bfb21865f4ba629