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