mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
(cherry picked from commit eb3828e885132bccdfedd843d58989e185aa0fb8) (cherry picked from commit a320b686c57b159891cb3cfd81059436ebb23993) IJ-CR-148445 GitOrigin-RevId: 6ab11ac7b9d7536f5852a766287929a403e9e274