mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/ext/svnkit/svnkit.build.properties does not exist in tree de71d723b2e4990edfe8952aacfc963a34b5eb91
