mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
chebrard
13.08.2009 6e85eb6ff5f45f8a9cc87c6609b9cce6855942b8 
 opends/ext/svnkit/svnkit.build.properties


@@ -1,14 +1,14 @@


svnkit.version=1.2.0


svnkit.version=1.3.0


# could be overriden by build server, e.g. TeamCity.


build.number=${svnkit.version}




#properties for SVN runtime


svnkit.version.string=SVN/1.5.2 SVNKit/1.2.0 (http://svnkit.com/) r4949


svnkit.version.string=SVN/1.6.2 SVNKit/1.3.0 (http://svnkit.com/) r5847


svnkit.version.major=1


svnkit.version.minor=2


svnkit.version.minor=3


svnkit.version.micro=0


svnkit.version.revision=4949


svnkit.version.revision=5847




#build.xml properties


jna.version=3.0.5


trilead.ssh2.version=build213-svnkit-1.2-patch


jna.version=3.0.9


trilead.ssh2.version=build213-svnkit-1.3-patch