mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
* so that the next updates can be processed (cherry picked from commit 7b2d52c23ee9db0f2601c85c5760e36aec5537ac) IJ-CR-148479 GitOrigin-RevId: 79064bb506fb5be9a9bf180ecc5fdcbc4df63df2