mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 02cf3f93e77aa26b098c5c0d52caa4cf1af5078c) IJ-MR-194445 GitOrigin-RevId: 05535bc07df7b591784f6973de9e8ce1751041f5