mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 525c30 | patch | commitdiff
jcambon
04.36.2008 8c625782fe8f3ce774db78334e4cbacd534f0f85
refs
author jcambon <jcambon@localhost>
Friday, July 4, 2008 15:36 +0200
committer jcambon <jcambon@localhost>
Friday, July 4, 2008 15:36 +0200
commit8c625782fe8f3ce774db78334e4cbacd534f0f85
tree 6a31e22bd2de21e17648c5d5221950bfa24f33eb tree | zip | gz
parent 525c30003463904cee2a73ed2ddb614726de986e view | diff 
Fix for issue #3456 : Add a new property to build.xml : wiki.home
1 files modified
3 ■■■■■ changed files
opendj-sdk/opends/build.xml 3 ●●●●● diff | view | raw | blame | history