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

lutoff
04.46.2007 0c41649927fe66913e2e3168f69e671bf7199987
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -8410,12 +8410,12 @@
      argParser.addArgument(windowsNetStart);
      version = new BooleanArgument("version", 'v', "version",
      version = new BooleanArgument("version", 'V', "version",
                                    MSGID_DSCORE_DESCRIPTION_VERSION);
      argParser.addArgument(version);
      fullVersion = new BooleanArgument("fullversion", 'V', "fullVersion",
      fullVersion = new BooleanArgument("fullversion", 'F', "fullVersion",
                                        MSGID_DSCORE_DESCRIPTION_FULLVERSION);
      fullVersion.setHidden(true);
      argParser.addArgument(fullVersion);