diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-09-08 01:34:48 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-09-08 01:34:48 +0200 |
| commit | 1dd28385d1b41e8441f608715c289a7b15d816f4 (patch) | |
| tree | a52e4904731d2373a2c71c8f7a55b34d0dbb82e8 /doc/install.texi | |
| parent | 1c4719e7267c88057e4272d40300e62416ab0235 (diff) | |
| download | geiser-1dd28385d1b41e8441f608715c289a7b15d816f4.tar.gz geiser-1dd28385d1b41e8441f608715c289a7b15d816f4.tar.bz2 | |
Better REPL exit command
Diffstat (limited to 'doc/install.texi')
0 files changed, 0 insertions, 0 deletions