diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-16 22:42:16 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-16 22:42:16 +0000 |
| commit | 70401dbc950217acb0b8000d30bf1ac613156142 (patch) | |
| tree | a9320f9200c8e619c9b1011a67f63567b5adb0e0 /doc/mdk_gmixvm.texi | |
| parent | 9d84b0722ef8f127d0141c975529d01c93c4a899 (diff) | |
| download | mdk-70401dbc950217acb0b8000d30bf1ac613156142.tar.gz mdk-70401dbc950217acb0b8000d30bf1ac613156142.tar.bz2 | |
header corrected
Diffstat (limited to 'doc/mdk_gmixvm.texi')
0 files changed, 0 insertions, 0 deletions