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