mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 564e2f82913f777c5c9e0b760b27fc0a859ec430) IJ-CR-157054 GitOrigin-RevId: e6c98921966c48d5d4a90307c74fe42d6ad02fd7