mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b23119 | patch | commitdiff
Ludovic Poitou
22.40.2013 de490f1a18b26928b076c991a5c5546ba903ff72
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
commitde490f1a18b26928b076c991a5c5546ba903ff72
tree 544aa7712bd8d978b75658715214d3ba68b9a72c tree | zip | gz
parent b231195429e28098e1baceda8a2a2f553a58ca33 view | diff 
Fix error in build.xml.
Ant should be taken from ant.dir (within the workspace)
1 files modified
2 ■■■■■ changed files
opends/build.xml 2 ●●●●● diff | view | raw | blame | history