mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
(cherry picked from commit 4b3b8e0c316b40fd870ea43d7d06cdd2a8c46b2a) IJ-CR-151473 GitOrigin-RevId: 1e9b97602b3671857c2e13755e49866ebebafa80