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
commitdd1090f0066153abc22886807833f219c34a9c78 (patch)
tree14f88bd2b05db525e1f6bb8740528996d9c167fc /mixlib
parent7dadd3ccd03c46e40813a454e28013210527a61e (diff)
downloadmdk-dd1090f0066153abc22886807833f219c34a9c78.tar.gz
mdk-dd1090f0066153abc22886807833f219c34a9c78.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