mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: f1b062 | patch | commitdiff
boli
13.17.2007 7b8998d749c79a54fa81b37741fadfe68500ef4d
refs
author boli <boli@localhost>
Saturday, January 13, 2007 00:17 +0100
committer boli <boli@localhost>
Saturday, January 13, 2007 00:17 +0100
commit7b8998d749c79a54fa81b37741fadfe68500ef4d
tree 4a54763d677d75ef01c05a84878d0319c39ab054 tree | zip | gz
parent f1b0629feea4fe290768c6d3aef63057b3028abe view | diff 
Made the following enhancements to the coveragediff tool:

Floating point numbers are now formatted correctly
Coverage info only shows for modified lines
Anchor names are generated incrementally
1 files modified
86 ■■■■■ changed files
opendj-sdk/opends/build-tools/src/org/opends/build/tools/CoverageDiff.java 86 ●●●●● diff | view | raw | blame | history