changeset 1130 | bb1c11adb2db |
parent 1126 | b09fd81894cb |
child 1133 | 860d1c3d08fc |
--- a/tool/cmd_data.cpp Tue Jul 22 15:23:42 2008 +0000 +++ b/tool/cmd_data.cpp Tue Jul 22 15:24:46 2008 +0000 @@ -19,7 +19,7 @@ "Command-specific options:\n" " --domain -d <index> Positive numerical domain index. If this option\n" " is not specified, data of all domains are\n" - " output.\n"; + " concatenated.\n"; /****************************************************************************/