mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 990df1ada340084b65f83a051125ea77cf3da8f9) IJ-CR-166515 GitOrigin-RevId: a2193fd4dd7a5bab3eface3ac1f1e6b0a1094563