mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
(cherry picked from commit 5cb804a843abb7e22edb1a423c979eed136d8efa) IJ-CR-14697 GitOrigin-RevId: b84f438f36ea209b4309215a43790a2e54121ed6