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