mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 4f16f5 | patch | commitdiff
davidely
05.43.2007 ddcc9c9b37c9d0fd5dc637e0786ee7c3a0924240
refs
author davidely <davidely@localhost>
Wednesday, September 5, 2007 03:43 +0200
committer davidely <davidely@localhost>
Wednesday, September 5, 2007 03:43 +0200
commitddcc9c9b37c9d0fd5dc637e0786ee7c3a0924240
tree 93f5137ff6d0d1b31a7f4f6350417edf79bea9db tree | zip | gz
parent 4f16f5776ec3a8c561c408ff8e90f60eb71b7032 view | diff 
Fixed testhelp for -Dtest.progress option to be more accurate for when the progress is written
1 files modified
15 ■■■■■ changed files
opendj-sdk/opends/build.xml 15 ●●●●● diff | view | raw | blame | history