mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
- use language level to predict the order of comments (cherry picked from commit e7986fcb2302dde7ad80fae9346f6a27edb576ae) GitOrigin-RevId: f1cee2d3123a9a9845f999ac03984427799c84db