mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
- fix naming (cherry picked from commit 91c2c095f5ca3b2ac3d6fc6de8d85b4f7205cfe7) (cherry picked from commit e9c066e0a80b0154b69f1cf94334ab1e209dd74f) IJ-MR-169535 GitOrigin-RevId: 305bc4173b42de65872f95e867b193eaef35a8c8