summaryrefslogtreecommitdiffhomepage
path: root/mixlib/mix_config.c
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
commitd52dde8a65f46c1258440ff73f1a56d65f2bcf46 (patch)
treea01ee69c0fc6f1968648751729d44e785bb46939 /mixlib/mix_config.c
parentae3c9c49fb9814f99ffe12b597fc246a74c307f1 (diff)
downloadmdk-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 'mixlib/mix_config.c')
0 files changed, 0 insertions, 0 deletions