diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2006-08-10 23:10:35 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2006-08-10 23:10:35 +0000 |
| commit | e7dc56ff9771ad83d7ee726172edd8e92863f648 (patch) | |
| tree | e6665f8936aea513d858129190b662534df31466 /mixgtk | |
| parent | 1eab61b97bfa36457fb90cbef93a99cbe0d8cd97 (diff) | |
| download | mdk-e7dc56ff9771ad83d7ee726172edd8e92863f648.tar.gz mdk-e7dc56ff9771ad83d7ee726172edd8e92863f648.tar.bz2 | |
mixvm's default prompt fixed
git-archimport-id: mdk@sv.gnu.org/mdk--devel--1--patch-39
Diffstat (limited to 'mixgtk')
0 files changed, 0 insertions, 0 deletions