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 /misc/.gitignore | |
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 'misc/.gitignore')
0 files changed, 0 insertions, 0 deletions