mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 09:12:22 +07:00
(cherry picked from commit 67143d5d08f607959bf7bfc8bff4f9f7e6ae1db7) IJ-CR-122485 GitOrigin-RevId: cf14cb341278a6fb02690a5108ace56c34b450f9