diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-06 22:19:07 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-06 22:19:22 +0100 |
| commit | 580b2193b8f4bb11eb5e24db22bc69aeb3893a9b (patch) | |
| tree | cb54f5ecc6da7d13ef14d5d8fea63f0c32483dec /doc/parens.texi | |
| parent | dc8009f5cba70369368a4c1d73dd1d41aece0f84 (diff) | |
| download | geiser-580b2193b8f4bb11eb5e24db22bc69aeb3893a9b.tar.gz geiser-580b2193b8f4bb11eb5e24db22bc69aeb3893a9b.tar.bz2 | |
REPL: remembering last connection address
Diffstat (limited to 'doc/parens.texi')
0 files changed, 0 insertions, 0 deletions