diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-09 22:49:55 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-09 22:49:55 +0000 |
commit | b7e10d75a4055a945d7fd3beaee0e6e3c5861988 (patch) | |
tree | df2fb6a16ce03eddad8ecf9db974955337fee931 /NEWS | |
parent | b86afb94db26dba9d67d274736f07866b41b185d (diff) | |
download | mdk-b7e10d75a4055a945d7fd3beaee0e6e3c5861988.tar.gz mdk-b7e10d75a4055a945d7fd3beaee0e6e3c5861988.tar.bz2 |
history file
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -38,6 +38,9 @@ Please send mdk bug reports to bug-mdk@gnu.org. statistics (both in gmixvm and mixvm). Its value is also stored as a config param. +** mixvm and gmixvm now save a history file so that they remember + commands typed in previous sessions. + ** Bug fix: changes in the device format are now correctly stored (gmixvm). --------------------------------------------------------------------------- |