diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-06-23 10:15:58 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-06-23 10:15:58 +0000 |
| commit | c2be8e65e2991fb323033ac9adf50cf05e7b50ac (patch) | |
| tree | 57aef12adbc283ae2f5e3e977fce9cc9e65e76dd /doc/html | |
| parent | 94eec3ea99992917d081978a4548c961af6ecb64 (diff) | |
| download | mdk-c2be8e65e2991fb323033ac9adf50cf05e7b50ac.tar.gz mdk-c2be8e65e2991fb323033ac9adf50cf05e7b50ac.tar.bz2 | |
(vm_reset_reload_): do not delete output char devices after reload.
Diffstat (limited to 'doc/html')
0 files changed, 0 insertions, 0 deletions