mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit 61aa33a65627a5e844eef3b6d74c082e83b53d78) IJ-CR-147241 GitOrigin-RevId: c3e2e063fc5d1e449ede35f40acf5c1240e64803