changeset 1130 | bb1c11adb2db |
parent 1126 | b09fd81894cb |
child 1137 | a73c0f54be42 |
1129:4bc1d9f9d73c | 1130:bb1c11adb2db |
---|---|
10 |
10 |
11 #include "globals.h" |
11 #include "globals.h" |
12 |
12 |
13 /****************************************************************************/ |
13 /****************************************************************************/ |
14 |
14 |
15 // FIXME |
|
15 const char *help_pdos = |
16 const char *help_pdos = |
16 "[OPTIONS]\n" |
17 "[OPTIONS]\n" |
17 "\n" |
18 "\n" |
18 "\n" |
19 "\n" |
19 "Command-specific options:\n"; |
20 "Command-specific options:\n"; |