equal
deleted
inserted
replaced
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. If this option\n" |
21 " is not specified, data of all domains are\n" |
21 " is not specified, data of all domains are\n" |
22 " output.\n"; |
22 " concatenated.\n"; |
23 |
23 |
24 /****************************************************************************/ |
24 /****************************************************************************/ |
25 |
25 |
26 void outputDomainData(unsigned int); |
26 void outputDomainData(unsigned int); |
27 |
27 |