mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 9d1fe81f2749048537cd230a3bc7d5f395fc70ed) IJ-MR-176990 GitOrigin-RevId: 08713eac571f454a89ef29c0c0758f8c0094ef96