summaryrefslogtreecommitdiffhomepage
path: root/doc
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 /doc
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 'doc')
0 files changed, 0 insertions, 0 deletions