diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-06-12 01:08:48 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-06-12 01:08:48 +0000 |
| commit | 8cdbd831246a1bfe20aa8ac86209d773333542c6 (patch) | |
| tree | 28cc9da4feb1f441a7725c5a54465ae0865abe93 /doc/mdk_mixvm.texi | |
| parent | 2248d53c00a8cde6a2bf41fcfa7e0c6ccdcb3a1d (diff) | |
| download | mdk-8cdbd831246a1bfe20aa8ac86209d773333542c6.tar.gz mdk-8cdbd831246a1bfe20aa8ac86209d773333542c6.tar.bz2 | |
make default prompt as in the documentation.
Diffstat (limited to 'doc/mdk_mixvm.texi')
0 files changed, 0 insertions, 0 deletions