mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: bb4480f5 | patch | commit | ignore whitespace
Mark Craig
25.43.2014 133f4957fbfb46f9480869e570ff626763625d71 
Update to the latest doc build tools release
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.2</frDocPluginVersion>


    <frDocPluginVersion>2.1.3</frDocPluginVersion>


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




    <!--