diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-08-19 07:54:58 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-08-19 07:54:58 +0200 |
| commit | a0784b20c60d4b5d32ec441dc8e56839bfe40f08 (patch) | |
| tree | e452f16e963c6aba547075a553ce6412bf8fe973 /doc/repl.texi | |
| parent | 4c25551e639bb19a60211d30e6c7adb2bc51c59e (diff) | |
| download | geiser-chez-a0784b20c60d4b5d32ec441dc8e56839bfe40f08.tar.gz geiser-chez-a0784b20c60d4b5d32ec441dc8e56839bfe40f08.tar.bz2 | |
Redisplaying the prompt after empty lines on the REPL.
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions