mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7157e4f1 | patch | commit | ignore whitespace
Mark Craig
15.39.2014 39527876b9f6649e1625ea8f44f1dd35aef2dd24 
DOCS-221: Update doc build tools
1 files modified
2 ■■■■■ changed files
opends/pom.xml 2 ●●●●● patch | view | raw | blame | history 
 opends/pom.xml


@@ -99,7 +99,7 @@


    <docPreviousVersion>2.6.0</docPreviousVersion>


    <sdkDocTargetVersion>${docTargetVersion}</sdkDocTargetVersion>




    <frDocPluginVersion>2.1.4</frDocPluginVersion>


    <frDocPluginVersion>2.1.5</frDocPluginVersion>


    <gaId>UA-23412190-8</gaId>




    <!--