mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
- fix place for formatted index (without style) GitOrigin-RevId: aa82d7312bab57ce7b2dc736456574746da5fd9d
- fix place for formatted index (without style) GitOrigin-RevId: aa82d7312bab57ce7b2dc736456574746da5fd9d