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

Mark Craig
20.18.2015 27d398c0bcca6adaf643fa3f6fd02ed67ff4adf1
opendj-cli/src/main/resources/com/forgerock/opendj/cli/cli.properties
@@ -979,6 +979,7 @@
REF_INTRO_OPTIONS=The <command>%s</command> command takes the following options:
REF_DEFAULT=Default: %s
REF_TITLE_SUBCOMMANDS=Subcommands
REF_SHORT_DESC_UNINISTALL=remove OpenDJ directory server software
# Supplements to descriptions for generated reference documentation.
SUPPLEMENT_DESCRIPTION_CONTROLS=<para>                                             \