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 | d52dde8a65f46c1258440ff73f1a56d65f2bcf46 (patch) | |
| tree | a01ee69c0fc6f1968648751729d44e785bb46939 /doc/html | |
| parent | ae3c9c49fb9814f99ffe12b597fc246a74c307f1 (diff) | |
| download | mdk-d52dde8a65f46c1258440ff73f1a56d65f2bcf46.tar.gz mdk-d52dde8a65f46c1258440ff73f1a56d65f2bcf46.tar.bz2 | |
save correctly prompts ending in whitespace.
do not save command line options when -r is passed to mixvm.
Diffstat (limited to 'doc/html')
0 files changed, 0 insertions, 0 deletions