mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 08:09:39 +07:00
(cherry picked from commit 47d78548f4eca01dc5312c98f0293047ebaaa7ef) IJ-MR-159899 GitOrigin-RevId: 2719f61d3b70b4727f0676be2d09e7633abf8e45