tool/cmd_data.cpp
changeset 1133 860d1c3d08fc
parent 1130 bb1c11adb2db
child 1137 a73c0f54be42
equal deleted inserted replaced
1132:481b49560c11 1133:860d1c3d08fc
    15     "[OPTIONS]\n"
    15     "[OPTIONS]\n"
    16     "\n"
    16     "\n"
    17     "Output binary domain data.\n"
    17     "Output binary domain data.\n"
    18     "\n"
    18     "\n"
    19     "Command-specific options:\n"
    19     "Command-specific options:\n"
    20     "  --domain -d <index> Positive numerical domain index. If this option\n"
    20     "  --domain -d <index> Positive numerical domain index, or 'all' for\n"
    21     "                      is not specified, data of all domains are\n"
    21     "                      all domains (default). In this case, data of all\n"
    22     "                      concatenated.\n";
    22     "                      domains are concatenated.\n";
    23 
    23 
    24 /****************************************************************************/
    24 /****************************************************************************/
    25 
    25 
    26 void outputDomainData(unsigned int);
    26 void outputDomainData(unsigned int);
    27 
    27