mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit cfc8e220df5d7a2a33b2c027bbf37a7d5055ffc5) IJ-MR-158370 GitOrigin-RevId: 85f665ae8f601052eb21526f974f196d6f53ceb9