mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit f14930f05ecfd11327c4229aad7ed9ad79f6182d) (cherry picked from commit 921fdc07ff81c682e75a0c2eff695e493020e757) IJ-MR-173046 GitOrigin-RevId: 181b84465a283d7c36cee63844e78c58fdc6de1c