mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 729c3173 | patch | commit | show whitespace
Mark Craig
02.43.2014 8731773e84ec65d3264d6dfb98d86100449e42ef 
Update to latest version of the doc build tools
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/pom.xml 2 ●●●●● patch | view | raw | blame | history 
 opendj-sdk/opends/pom.xml


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


    <docPreviousVersion>2.6.0</docPreviousVersion>


    <sdkDocTargetVersion>${docTargetVersion}</sdkDocTargetVersion>




    <frDocPluginVersion>2.1.3</frDocPluginVersion>


    <frDocPluginVersion>2.1.4</frDocPluginVersion>


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




    <!--