mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: eda793 | patch | commitdiff
neil_a_wilson
11.13.2006 12e3cbe84daa5066a4b28a09bd80d38948ec8b1d
refs
author neil_a_wilson <neil_a_wilson@localhost>
Tuesday, July 11, 2006 00:13 +0200
committer neil_a_wilson <neil_a_wilson@localhost>
Tuesday, July 11, 2006 00:13 +0200
commit12e3cbe84daa5066a4b28a09bd80d38948ec8b1d
tree 56f332d9bd8e82a424e15fa8972b88e5aee42dd3 tree | zip | gz
parent eda79366f0bdacebb6fca64c8e472538c9b16798 view | diff 
Update build.xml to fix an incorrect dependency for the javadoc build target
(it had a dependency on "package" when it should have been on "dsml").
1 files modified
2 ■■■■■ changed files
opends/build.xml 2 ●●●●● diff | view | raw | blame | history