mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit 63ad1943e856fa2e964839b908e639c0d58002f8) IJ-CR-169869 GitOrigin-RevId: d6545a948a5b251e7ac16ecc5ecddee9221347a9