mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2b36a7 | patch | commitdiff
Mark Craig
16.41.2013 fa0224f0ddab9c43b1c70006e6e9034fe17e2431
refs
author Mark Craig <mark.craig@forgerock.com>
Tuesday, July 16, 2013 16:41 +0200
committer Mark Craig <mark.craig@forgerock.com>
Tuesday, July 16, 2013 16:41 +0200
commitfa0224f0ddab9c43b1c70006e6e9034fe17e2431
tree 0036d973b0d636bff59e8df26810f8578b818a86 tree | zip | gz
parent 2b36a787c298f2c4df0b1b91c697d631e6dc4090 view | diff 
Fix build break
1 files modified
65 ■■■■■ changed files
opends/src/main/docbkx/admin-guide/chap-admin-tools.xml 65 ●●●●● diff | view | raw | blame | history