summaryrefslogtreecommitdiffhomepage
path: root/mixgtk/mixgtk_cmd_dispatcher.h
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2004-06-07 05:29:42 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2004-06-07 05:29:42 +0000
commit7161125e1df06b71c2f1910d2c4930c413e5c622 (patch)
tree06c5662500c87a95573b968ba8524fd322a0de87 /mixgtk/mixgtk_cmd_dispatcher.h
parent118d371e290325ff57285253ba912688f680fff9 (diff)
downloadmdk-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