mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
(cherry picked from commit fa50c92a7d05790dea0322b0af53113c5759c323) IJ-MR-172304 GitOrigin-RevId: 7f5447684942bcadd3a5b33e1e0eed03d1c42f7e