mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: ca51b66b | patch | commit | ignore whitespace
Mark Craig
05.26.2014 4ec7ebd84a083df3db1c019e341597cf389b62ce 
Partial fix for OPENDJ-1489: Update OpenDJ Docs for New Branding

This is only to use the newly-released tools.
1 files modified
1 ■■■■■ changed files
opendj3-server-dev/pom.xml 1 ●●●●● patch | view | raw | blame | history 
 opendj3-server-dev/pom.xml


@@ -173,7 +173,6 @@


         <googleAnalyticsId>${gaId}</googleAnalyticsId>


         <latestJson>http://mcraig.org/fr/latest.php</latestJson><!-- Temporary workaround pending #QOZ-985-23233 -->


         <docbkxSourceDirectory>${basedir}/src/main/docbkx</docbkxSourceDirectory>


         <brandingVersion>2.1.1</brandingVersion><!-- Workaround for OPENDJ-1395 -->


        </configuration>


        <executions>


          <execution>