mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
(cherry picked from commit 2b7e6c361fd1429f0ce94d271214c5e1f5bca23b) IJ-MR-129618 GitOrigin-RevId: 55551e94e651a953863e0766419e881220c0a45b