external-software/github_OpenIdentityPlatform_OpenDJ.git

external-software / github_OpenIdentityPlatform_OpenDJ

mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

summary
commits
tree
docs
forks
compare

OPENDJ-2343 Fix broken man page build

Mark Craig

29.00.2015 247d25970b4b5facbacf0f143f2544b870764a77

 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" />

			@@ -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" />