mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 632f0c | patch | commitdiff
Ludovic Poitou
22.40.2013 dd5bb3feeaca99ea79f1c55ea07a8acd4bc4e361
refs
author Ludovic Poitou <ludovic.poitou@forgerock.com>
Monday, April 22, 2013 16:40 +0200
committer Ludovic Poitou <ludovic.poitou@forgerock.com>
Monday, April 22, 2013 16:40 +0200
commitdd5bb3feeaca99ea79f1c55ea07a8acd4bc4e361
tree 58c7e0c58849e182506f03af6a3add2cc1c121cb tree | zip | gz
parent 632f0ccb2dff16a0fd978bfd229fa4cd9f70cd36 view | diff 
Fix error in build.xml.
Ant should be taken from ant.dir (within the workspace)
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/build.xml 2 ●●●●● diff | view | raw | blame | history