mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
- fix comparator (cherry picked from commit 5c6f0a4e689359a5574578cd63377543d413ccda) GitOrigin-RevId: 5cc96fa8dc448e65fa2d58d5692f8af27e9ddd3c