mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2465da | patch | commitdiff
boli
10.28.2007 38085dd2e9d4b44f0933839e031b59647d5142e4
refs
author boli <boli@localhost>
Wednesday, January 10, 2007 00:28 +0100
committer boli <boli@localhost>
Wednesday, January 10, 2007 00:28 +0100
commit38085dd2e9d4b44f0933839e031b59647d5142e4
tree 516a3dfdb53e1199009b6d00e94dd256546ba1ed tree | zip | gz
parent 2465da4eae0df8251b578e47411ed2f6981ea9d6 view | diff 
Prevents the coveragediff utility from failing the build if svn is not in the path.
1 files modified
3 ■■■■■ changed files
opendj-sdk/opends/build-tools/src/org/opends/build/tools/CoverageDiff.java 3 ●●●●● diff | view | raw | blame | history