mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
(cherry picked from commit 9864b5ad874cd5d7c1af178b365393cf9b681fc4) IJ-CR-147531 GitOrigin-RevId: bf531ea25960049473f9e6903630d50ce8e492de