mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 29b13650f3bb940bc9b9dddbaf7ef19854cc40e9) IJ-CR-179796 GitOrigin-RevId: eba8aa03d06556711556e06fe3cec0b0a9e7cce8