mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
(cherry picked from commit 72bb8e523471c9922ae3d8f95f7fa9ce1fe0009d) IJ-MR-18836 GitOrigin-RevId: dadb7cf489a0501b834cff7e10979fab2c8ae8cd