mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 92c1af5ce13e3e077ecf0a3391790a08229ef258) IJ-CR-167948 GitOrigin-RevId: 211484088bad0d812f7c84a97991990d4c5301ec