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

Matthew Swift
09.12.2015 f2ed2687b95fc639e35208731e0968957b9204f6
opendj-server-legacy/src/messages/org/opends/messages/tool.properties
@@ -2649,6 +2649,7 @@
REF_SHORT_DESC_UPGRADE_15028=upgrade OpenDJ configuration and application data
REF_SHORT_DESC_VERIFY_INDEX_15029=check index for consistency or errors
REF_SHORT_DESC_WINDOWS_SERVICE_15030=register OpenDJ as a Windows Service
UPGRADE_TASK_DELETE_FILE_10035=Removing file '%s'
# Supplements to descriptions for generated reference documentation.
SUPPLEMENT_DESCRIPTION_DBTEST_SUBCMD_LIST_INDEX_STATUS_20001=\