mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit f65fb479665d419df4577aa2a3c98ec6186db03a) IJ-MR-137982 GitOrigin-RevId: 16aa6c0d81d80e06e85648c08002de8c4edb3de5