mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
(cherry picked from commit 4c4a69c6f8895236e24be1df24ddbc218b922b53) IJ-MR-195501 (cherry picked from commit e3bd15380c9f716fa79226ffda8cd09775e441b7) GitOrigin-RevId: a7fffe315f718548e4f517b54f955e4aaf31146a