mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
(cherry picked from commit 18189b0afcbc5e7693a5261252341df7752f1521) IJ-CR-152633 GitOrigin-RevId: e4c9368badbd0aaeec6d792a333f260ec778c017