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

Chris Ridd
26.04.2012 7921288fd0265b80c92ab76a3347d6604fa7c718
opendj-sdk/opends/ext/svnkit/svnkit.build.properties
@@ -1,14 +1,11 @@
svnkit.version=1.3.0
# could be overriden by build server, e.g. TeamCity.
build.number=${svnkit.version}
svnkit.version=1.7.5-v1
build.number=r9382_v20120718_1415
#properties for SVN runtime
svnkit.version.string=SVN/1.6.2 SVNKit/1.3.0 (http://svnkit.com/) r5847
svnkit.version.string=SVN/1.7.5 SVNKit/1.7.5-v1 (http://svnkit.com/) r9382_v20120718_1415
svnkit.version.major=1
svnkit.version.minor=3
svnkit.version.micro=0
svnkit.version.revision=5847
svnkit.version.minor=7
svnkit.version.micro=5
svnkit.version.revision=r9382_v20120718_1415
#build.xml properties
jna.version=3.0.9
trilead.ssh2.version=build213-svnkit-1.3-patch
svnkit.svn.version=1.7.5