mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 6f6e50e992fe534f44636136d36c1e53067329b4) IJ-CR-151042 GitOrigin-RevId: 80c7d32c3b8b297a01e46ed4170a4abe0f2adf0f