mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit 1af3e8b74a14eba7b3a11027d9720912c6e2f4a0) IJ-CR-148561 GitOrigin-RevId: 5de7bbbc361629e1a6cc611147b0e63f323cd463