mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj3-server-dev/ext/svnkit/svnkit.build.properties does not exist in tree 201fb34901a1e078acd27590b5f409e820b71934
