mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 20:41:22 +07:00
See IJPL-115436 for more info (cherry picked from commit 6c300e982830c5cd70d501763daf6b2087b51c64) GitOrigin-RevId: 5d47cdd2da551fbc44040418ff8613c4c4d4580a