mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2c08f5 | patch | commitdiff
jcambon
04.36.2008 0da31e2ca0ef9cbfe5ba253948e384197f086d21
refs
author jcambon <jcambon@localhost>
Friday, July 4, 2008 15:36 +0200
committer jcambon <jcambon@localhost>
Friday, July 4, 2008 15:36 +0200
commit0da31e2ca0ef9cbfe5ba253948e384197f086d21
tree 1abae42336cb7bb201a4853212cf0b8a41860bce tree | zip | gz
parent 2c08f52009a57edff7b3a51d1966057b121380f7 view | diff 
Fix for issue #3456 : Add a new property to build.xml : wiki.home
1 files modified
3 ■■■■■ changed files
opends/build.xml 3 ●●●●● diff | view | raw | blame | history