mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 75223c | patch | commitdiff
Mark Craig
26.09.2014 c2b861d380cfb6fcc22cfa0f65ffb76034e6eb8a
refs
author Mark Craig <mark.craig@forgerock.com>
Wednesday, March 26, 2014 15:09 +0100
committer Mark Craig <mark.craig@forgerock.com>
Wednesday, March 26, 2014 15:09 +0100
commitc2b861d380cfb6fcc22cfa0f65ffb76034e6eb8a
tree 4eeac700f1d616cc0eb2000d83474e3ffa2bc86a tree | zip | gz
parent 75223c09186f785727a08162ba1e8345cc39462e view | diff 
Backport Editorial fix, setting the name of the generated long description file in HTML
1 files modified
5 ■■■■■ changed files
opendj-sdk/opends/src/main/docbkx/admin-guide/chap-replication.xml 5 ●●●●● diff | view | raw | blame | history