diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-14 22:36:17 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-14 22:36:17 +0100 |
| commit | 4f1d94031dd370cc77a1b4eaa484bcab159f941e (patch) | |
| tree | 989c23f75995122fade226647f4109f952afd574 /doc/install.texi | |
| parent | 6d64c4f1a19862d88d0429cd60f42c811e4007a6 (diff) | |
| download | geiser-guile-4f1d94031dd370cc77a1b4eaa484bcab159f941e.tar.gz geiser-guile-4f1d94031dd370cc77a1b4eaa484bcab159f941e.tar.bz2 | |
Smoother REPL exit (deactivating the connection)
Diffstat (limited to 'doc/install.texi')
0 files changed, 0 insertions, 0 deletions