mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
- fix naming (cherry picked from commit 26986a580dbe2d963c390fe850ad71ba393fde7c) GitOrigin-RevId: d179fe7610545851823b0e7864a0903414b29ba2