mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 5420284b0da98f76897ab91bc21ecc145fcc3bf2) IJ-CR-158761 GitOrigin-RevId: 615a814e4d1f2a089c78659b92f2a7c7e019b798