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

boli
09.19.2007 2465da4eae0df8251b578e47411ed2f6981ea9d6
opendj-sdk/opends/build-tools/bin/coveragediff does not exist in tree 9d3c81eeddb48d760b864905c3d650f7a0bdf197