mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
This restores how it worked before aeb45d9b836 just in case (IJ-CR-123815). GitOrigin-RevId: 667a371e1de002655b148adc387ffed1d13b4362