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 | dd1090f0066153abc22886807833f219c34a9c78 (patch) | |
| tree | 14f88bd2b05db525e1f6bb8740528996d9c167fc /lib/getopt.h | |
| parent | 7dadd3ccd03c46e40813a454e28013210527a61e (diff) | |
| download | mdk-dd1090f0066153abc22886807833f219c34a9c78.tar.gz mdk-dd1090f0066153abc22886807833f219c34a9c78.tar.bz2 | |
(mix_vmrun): do not save command line options when -r is passed to mixvm.
Diffstat (limited to 'lib/getopt.h')
0 files changed, 0 insertions, 0 deletions