mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 02cf3f93e77aa26b098c5c0d52caa4cf1af5078c) IJ-MR-194445 GitOrigin-RevId: a84f0832e3330d80bbe2b7a15de6db95ffa1aa88