mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit 711000771981a03e5eac9a3ad9596bb8795bdbab) IJ-MR-145621 GitOrigin-RevId: a22bd457745f070494ec5aa8961cefe7f5d02ee1