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

jvergara
18.09.2008 6b654d23b0b1d0e5151941aece4658b5e6e8f50f
opends/src/guitools/org/opends/guitools/controlpanel/ui/ExportLDIFPanel.java
@@ -568,6 +568,7 @@
      {
        args.addAll(getConfigCommandLineArguments());
      }
      args.add(getNoPropertiesFileArgument());
      return args;
    }