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

Ludovic Poitou
20.42.2011 b08143818d5cd4c8fcbb6bd2949f577ce042239c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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.6.2 SVNKit/1.3.0 (http://svnkit.com/) r5847
svnkit.version.major=1
svnkit.version.minor=3
svnkit.version.micro=0
svnkit.version.revision=5847
 
#build.xml properties
jna.version=3.0.9
trilead.ssh2.version=build213-svnkit-1.3-patch