mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 13f65b | patch | commitdiff
Mark Craig
22.03.2015 6b5aa971ec080e288c383914241ce2613c1be631
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, May 22, 2015 13:03 +0200
committer Mark Craig <mark.craig@forgerock.com>
Friday, May 22, 2015 13:03 +0200
commit6b5aa971ec080e288c383914241ce2613c1be631
tree 63afca8a7509d8987c3ec13e527562cfe28d159b tree | zip | gz
parent 13f65b71bdc50e407b5cb2e1343528941c122398 view | diff 
Fix broken link found by docbook-linktester
1 files modified
3 ■■■■■ changed files
opendj-server-legacy/src/main/docbkx/server-dev-guide/preface.xml 3 ●●●●● diff | view | raw | blame | history