mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
(cherry picked from commit c40f5254c5a4311c13abe00a9a34c6bcc575eb04) IJ-CR-194981 GitOrigin-RevId: efa58d45e710f913b1a73066be076052d47de23c