diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-06-07 05:05:27 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-06-07 05:05:27 +0000 |
| commit | 1b781a4218654bb87026e658b39aa6528d5f411c (patch) | |
| tree | a538f96b26f84de506937ac0465d1cd0ea662a55 /m4 | |
| parent | 6249c1beaecfd52464e70449fba4fa8230264dab (diff) | |
| download | mdk-1b781a4218654bb87026e658b39aa6528d5f411c.tar.gz mdk-1b781a4218654bb87026e658b39aa6528d5f411c.tar.bz2 | |
(mix_vmrun): do not save command line options when -r is passed to mixvm.
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions