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