mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 18:09:38 +07:00
(cherry picked from commit 926ee14228644c33ab4a17247a07cdf71799b265) IJ-MR-169793 GitOrigin-RevId: 9259bfa8a8c527ce87ddf8bc441a16bdc4bb24a1