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 /mixlib/mix_symbol_table.c | |
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 'mixlib/mix_symbol_table.c')
0 files changed, 0 insertions, 0 deletions