mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 20836a | patch | commitdiff
Mark Craig
22.03.2015 eedc158ff8b7406187a66eb1aa9258d9abeebf51
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
commiteedc158ff8b7406187a66eb1aa9258d9abeebf51
tree 46281f20d8289766595c00c559c25d07749d609c tree | zip | gz
parent 20836a36c4180da1242beed21094f82b7f265252 view | diff 
Fix broken link found by docbook-linktester
1 files modified
3 ■■■■■ changed files
opendj-sdk/opendj-server-legacy/src/main/docbkx/server-dev-guide/preface.xml 3 ●●●●● diff | view | raw | blame | history