mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Christophe Sovant
28.28.2014 563512232ed4b405bdd0a023f18fd9b53136435e
opendj-sdk/opends/ext/svnkit/svnkit.build.properties does not exist in tree c9e031e523fa8d76172ff6d9634679284dbc47ef