mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
IJ-CR-209711 (cherry picked from commit a2aae37dc37cbee5d5c9a0eda8e60a84345b2949) IJ-CR-209711 GitOrigin-RevId: 3749249930e5270af43a055831484ce6eb5548ee