mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 89ee2c45d1e42005806bace4f0a2e2b63fed99da) IJ-CR-192785 GitOrigin-RevId: 99a8bfb38aa5b561e69f0b5d0b2feb3a173bf20b