mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
(cherry picked from commit 0beb868ac32c4cabae9392a9c34cb66086935a02) (cherry picked from commit 5a7924c57cb9afd068e60aed6eea4d3b151cf8de) IJ-MR-182986 GitOrigin-RevId: 201885016bf87fce8b6a98413c63d47de5023539