mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 6c2a3d6eec7def72340feed8ae0ae2d6b54af6ff) IJ-CR-149696 GitOrigin-RevId: 14edaf0fa2c49d69aa8d96883dc8b02dec7197e3