mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 12:14:37 +07:00
(cherry picked from commit 62ee1aaba57d5679e6dfbcfd5ba40884f25a56f1) IJ-MR-176085 GitOrigin-RevId: 6b9267a77c8151c5428186fcf7adc4bbb392cb54