mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-02 07:28:24 +07:00
#IDEA-384124 (cherry picked from commit 48c77f4699b3a974e1aa5e7a6768ebef265ffb7c) IJ-MR-189843 GitOrigin-RevId: 83322da32b1eef0bada7db46fab6aeb44bdfadf4