mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-23 15:49:31 +07:00
(cherry picked from commit 3d352a170fa5f9e6e487e3bc8a01ad61dbeeea1d) IJ-CR-188791 Space-RevId: 86d47f7aaac11cf58f68494e8b20e8da629b190d GitOrigin-RevId: 11206c73e8390f5a7296822c450cb3a285ce0b6d