mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-sdk/sdk/ext/svnkit/logging.properties.disabled does not exist in tree 63293a44aaac9afb2d299ab700608f5d9f1f6107