mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit 4678e6c19a6158508430e9a4375d65dd5868424b) IJ-MR-170567 GitOrigin-RevId: 418c969455b407c0809d9faf5a12525278f443bd