mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit ee112910b742836ee4dba68b43b5b5b3ad6c1d14) IJ-CR-176136 GitOrigin-RevId: 11b7b4bfaeb7d95bd548ccbeaa25c12957e37e5d