summaryrefslogtreecommitdiffhomepage
path: root/mixlib
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2004-06-07 05:05:27 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2004-06-07 05:05:27 +0000
commit1b781a4218654bb87026e658b39aa6528d5f411c (patch)
treea538f96b26f84de506937ac0465d1cd0ea662a55 /mixlib
parent6249c1beaecfd52464e70449fba4fa8230264dab (diff)
downloadmdk-1b781a4218654bb87026e658b39aa6528d5f411c.tar.gz
mdk-1b781a4218654bb87026e658b39aa6528d5f411c.tar.bz2
(mix_vmrun): do not save command line options when -r is passed to mixvm.
Diffstat (limited to 'mixlib')
0 files changed, 0 insertions, 0 deletions