diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-06-07 05:29:42 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-06-07 05:29:42 +0000 |
| commit | 7161125e1df06b71c2f1910d2c4930c413e5c622 (patch) | |
| tree | 06c5662500c87a95573b968ba8524fd322a0de87 /mixgtk/mixgtk_cmd_dispatcher.h | |
| parent | 118d371e290325ff57285253ba912688f680fff9 (diff) | |
| download | mdk-7161125e1df06b71c2f1910d2c4930c413e5c622.tar.gz mdk-7161125e1df06b71c2f1910d2c4930c413e5c622.tar.bz2 | |
save correctly prompts ending in whitespace.
do not save command line options when -r is passed to mixvm.
Diffstat (limited to 'mixgtk/mixgtk_cmd_dispatcher.h')
0 files changed, 0 insertions, 0 deletions