mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
(cherry picked from commit 3311ca83f0875a77c0fd370d5d66afc66f7393ca) IJ-MR-178647 GitOrigin-RevId: 1d3583e8524ccee70a90918dfa57e11bd51c9641