mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 36e9573c3722ae6cfb0119059b579a4e523e109c) IJ-CR-180941 GitOrigin-RevId: aea8e6d4111a024157051510d58f038bafe4b5f2