diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-10-31 19:47:40 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-10-31 19:47:40 +0100 |
| commit | 1649bcb91781d19be3494e682a0d6e133ca30a87 (patch) | |
| tree | 53d8476acfb9144c82ee7f89035f0db92af27275 /doc/top.texi | |
| parent | 237bad79cdeadd26cdfb446d8059c5ac6ca08415 (diff) | |
| download | geiser-1649bcb91781d19be3494e682a0d6e133ca30a87.tar.gz geiser-1649bcb91781d19be3494e682a0d6e133ca30a87.tar.bz2 | |
REPL: RET on an error jumps to it
Diffstat (limited to 'doc/top.texi')
0 files changed, 0 insertions, 0 deletions