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

neil_a_wilson
28.55.2007 b7d4b7fe4faa066678983b7ff69a166bbf11886c
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -7915,6 +7915,7 @@
      System.out.println("Minor Version:       " + MINOR_VERSION);
      System.out.println("Point Version:       " + POINT_VERSION);
      System.out.println("Version Qualifier:   " + VERSION_QUALIFIER);
      System.out.println("Revision Number:     " + REVISION_NUMBER);
      System.out.println("Fix IDs:             " + FIX_IDS);
      System.out.println("Debug Build:         " + DEBUG_BUILD);
      System.out.println("Build OS:            " + BUILD_OS);