mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: ff7ba0 | patch | commitdiff
maximthomas
02.39.2024 585a1dbed427cc722c87a6850fbdf7ce92429f85
refs
author maximthomas <maxim.thomas@gmail.com>
Tuesday, July 2, 2024 08:39 +0200
committer maximthomas <maxim.thomas@gmail.com>
Tuesday, July 2, 2024 08:39 +0200
commit585a1dbed427cc722c87a6850fbdf7ce92429f85
tree 84cc6b51b3068095415252d06ba42faa5a978077 tree | zip | gz
parent ff7ba01f2f08107fb1af66dfa3ee51fd0794ef68 view | diff 
fix documents build
4 files renamed
2 files modified
4 ■■■■■ changed files
opendj-doc-generated-ref/src/main/ant/zip.xml 1 ●●●●● diff | view | raw | blame | history
opendj-doc-generated-ref/src/main/docbkx/admin-guide/index.xml diff | view | raw | blame | history
opendj-doc-generated-ref/src/main/docbkx/dev-guide/chap-controls.xml 3 ●●●●● diff | view | raw | blame | history
opendj-doc-generated-ref/src/main/docbkx/dev-guide/index.xml diff | view | raw | blame | history
opendj-doc-generated-ref/src/main/docbkx/install-guide/index.xml diff | view | raw | blame | history
opendj-doc-generated-ref/src/main/docbkx/release-notes/index.xml diff | view | raw | blame | history