mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: dea70a | patch | commitdiff
Jean-Noel Rouvignac
12.57.2014 8a27cd048048d0928717c84633451f857fef484b
refs
author Jean-Noel Rouvignac <jean-noel.rouvignac@forgerock.com>
Friday, December 12, 2014 16:57 +0100
committer Jean-Noel Rouvignac <jean-noel.rouvignac@forgerock.com>
Friday, December 12, 2014 16:57 +0100
commit8a27cd048048d0928717c84633451f857fef484b
tree b666b4c5ec40f0bc04d809e382b92367d3b73ce9 tree | zip | gz
parent dea70ae4fbbaf9f5343bdf5bce826c5712e748a3 view | diff 
Fixed jenkins build. Apparently there are 2 compile targets.
1 files modified
2 ■■■■■ changed files
opendj3-server-dev/build.xml 2 ●●●●● diff | view | raw | blame | history