mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 21:11:28 +07:00
(cherry picked from commit d7d5617cb6b4a76a38e8dc04daecdd3054c708ad) IJ-MR-178631 GitOrigin-RevId: eee6496c31356664badaac7aa1d94448c1f79d32