mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
KTIJ-30704 (cherry picked from commit 83e6e0ed408077d7ea94f840ca20f80c1c7c413b) GitOrigin-RevId: 0aecb9ad289bfb120ab903ce85292a2e120d14e5