mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
(cherry picked from commit f63567af8d2a6f8c823a401d10fbf95787c2625b) IJ-MR-181130 GitOrigin-RevId: c0617adca3abbcb1cd7e7ca1c5f1dfa865a14c21