mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/build-tools/bin/coveragediff does not exist in tree 46f88e4b42cefc98e7dce9644ee9e64a9d4b3cfe