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

ludovicp
21.30.2008 208ac44ce6e3a930ca4d4cfcd1177e7bd98458dd
1
2
3
4
5
6
7
8
9
10
11
12
13
14
svnkit.version=1.2.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.major=1
svnkit.version.minor=2
svnkit.version.micro=0
svnkit.version.revision=4949
 
#build.xml properties
jna.version=3.0.5
trilead.ssh2.version=build213-svnkit-1.2-patch