mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b805fc | patch | commitdiff
Mark Craig
26.09.2014 75223c09186f785727a08162ba1e8345cc39462e
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
commit75223c09186f785727a08162ba1e8345cc39462e
tree 37615521bbb1e64f0b4e487f5344ab0edf098a59 tree | zip | gz
parent b805fc18c775c755ef79144cccbc2d3c33374fb6 view | diff 
Editorial fix, setting the name of the generated long description file in HTML
1 files modified
5 ■■■■■ changed files
opendj-sdk/opendj3-server-dev/src/main/docbkx/admin-guide/chap-replication.xml 5 ●●●●● diff | view | raw | blame | history