MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-19 13:02:30 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
2b359b018b767bd2a6aa849f656d776dc59faf60
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