diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-23 23:04:58 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-23 23:04:58 +0200 |
| commit | 196e6e59c829829fe9cfb8e7eb6111e11161ace5 (patch) | |
| tree | 467371b5cfe6b3c8a9cb78f1c747e2db53a7b7b3 /doc/repl.texi | |
| parent | 5315da0834c55cfff5f8cac50984ce73301a0d97 (diff) | |
| download | geiser-196e6e59c829829fe9cfb8e7eb6111e11161ace5.tar.gz geiser-196e6e59c829829fe9cfb8e7eb6111e11161ace5.tar.bz2 | |
REPL: quit command.
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions