mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
(cherry picked from commit 4bbee1dddba0504bd2edb0a7915d66fdeae66fba) IJ-MR-20326 GitOrigin-RevId: c2c0b8fd40a16689ef61f73135b2144a4cbc742d