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 /autogen.sh | |
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 'autogen.sh')
0 files changed, 0 insertions, 0 deletions