diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2006-08-06 04:10:45 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2006-08-06 04:10:45 +0000 |
| commit | 680362e81f5d32401595597ff85b62e25d27bac1 (patch) | |
| tree | 9d8c0735ddbd7e0af291bd7e485278a6ded6a86a /mixgtk/mixgtk_mixvm.h | |
| parent | 55f2e4fdb81f450849246cfe6d670a5667e49bf4 (diff) | |
| download | mdk-680362e81f5d32401595597ff85b62e25d27bac1.tar.gz mdk-680362e81f5d32401595597ff85b62e25d27bac1.tar.bz2 | |
gmixvm: history in terminal input dialog
git-archimport-id: mdk@sv.gnu.org/mdk--devel--1--patch-20
Diffstat (limited to 'mixgtk/mixgtk_mixvm.h')
0 files changed, 0 insertions, 0 deletions