diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-08 03:38:44 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-08 03:38:44 +0100 |
| commit | 7c2913d2b6287b4a29c8e56b58902f33d3c5868c (patch) | |
| tree | 2b42ddd50c2c350c0ac2b5aa59a02e978111490a /doc/repl.texi | |
| parent | 688762b5310211f8522979d61332aa54dea2b7d6 (diff) | |
| download | geiser-7c2913d2b6287b4a29c8e56b58902f33d3c5868c.tar.gz geiser-7c2913d2b6287b4a29c8e56b58902f33d3c5868c.tar.bz2 | |
Connection plumbing: ability to specify EOT token added
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions