mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 916029 | patch | commitdiff
Mark Craig
26.09.2014 2c038e7d61f17098c886e200c40c9d3c0f4ad5d6
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
commit2c038e7d61f17098c886e200c40c9d3c0f4ad5d6
tree e64a5d17ff3180d3c075a8ffbe0d79e1a1e13645 tree | zip | gz
parent 916029283ae15191910b376447835afd12f5d35a view | diff 
Backport Editorial fix, setting the name of the generated long description file in HTML
1 files modified
5 ■■■■■ changed files
opends/src/main/docbkx/admin-guide/chap-replication.xml 5 ●●●●● diff | view | raw | blame | history