mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 00:40:28 +07:00
(cherry picked from commit 44f9a3649df3cd074fbf8d43a1145ca7f0a95e2f) IJ-MR-147762 GitOrigin-RevId: cea1b5a9a3d512a9ad65d6e4ca4324d053b18d7a