MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 22:51:17 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
82b321d57ce6f72ee93c89f17cfc1fc411247576
openide/plugins/coverage/resources/messages
History
Maksim Zuev acb09b528f [coverage] IDEA-340741 Enable branch coverage by default 
* update agent version to 1.0.743
* add option to disable exact hits collection, as this leads to performance drawbacks

GitOrigin-RevId: 2242851fba59f01d3db5502246c9f11399bfc2fd
2023-12-28 19:25:12 +00:00
..
JavaCoverageBundle.properties
[coverage] IDEA-340741 Enable branch coverage by default
2023-12-28 19:25:12 +00:00