mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 74a5ed | patch | commitdiff
boli
13.17.2007 2f87c58626f2f7f261ba39f512eaa9fa59980aae
refs
author boli <boli@localhost>
Saturday, January 13, 2007 00:17 +0100
committer boli <boli@localhost>
Saturday, January 13, 2007 00:17 +0100
commit2f87c58626f2f7f261ba39f512eaa9fa59980aae
tree 23380afabc78703796950141d9b0eb55249dafda tree | zip | gz
parent 74a5ed96d6a84a2a57695e79b1dc4b7f6e9f7b9e 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
opends/build-tools/src/org/opends/build/tools/CoverageDiff.java 86 ●●●●● diff | view | raw | blame | history