mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 0df0a5ef | patch | commit | show whitespace
Mark Craig
29.00.2015 247d25970b4b5facbacf0f143f2544b870764a77 
OPENDJ-2343 Fix broken man page build
1 files modified
2 ■■■■■ changed files
opendj-server-legacy/src/messages/org/opends/messages/tool.properties 2 ●●●●● patch | view | raw | blame | history 
 opendj-server-legacy/src/messages/org/opends/messages/tool.properties


@@ -2741,4 +2741,4 @@


ERR_SEARCH_INVALID_DEREFERENCE_POLICY_20014=Invalid deref alias specified: %s


ERR_FILE_NOT_FULLY_READABLE_20015=Could not completely read file '%s'


SUPPLEMENT_DESCRIPTION_BACKEND_TOOL_SUBCMD_LIST_INDEX_STATUS_20016=\


  <xinclude:include href="variablelist-backendtool-index-status.xml" />


  <xinclude:include href="variablelist-backendstat-index-status.xml" />