mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-sdk/opends/build-tools/bin/coveragediff does not exist in tree 9d3c81eeddb48d760b864905c3d650f7a0bdf197