mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
* rename Show coverage -> Manage coverage reports GitOrigin-RevId: b226b24f96d6c50e5ddafd6771f79d28237f62f0
* rename Show coverage -> Manage coverage reports GitOrigin-RevId: b226b24f96d6c50e5ddafd6771f79d28237f62f0