mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

boli
09.19.2007 dae4651f605dc12731720b0cc34a5926b12319f9
opends/build-tools/bin/coveragediff does not exist in tree 46f88e4b42cefc98e7dce9644ee9e64a9d4b3cfe