diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-09 20:32:09 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-09 20:32:09 +0200 |
| commit | c0c3723b1b5ee54e977a25a2f8a409a8071f1976 (patch) | |
| tree | 8fc9d89650def7b43fa0d5664ed6b450c60810f8 /doc/top.texi | |
| parent | 673c6c9fa481c3b50921f2d94afa3c5a73b1920e (diff) | |
| download | geiser-guile-c0c3723b1b5ee54e977a25a2f8a409a8071f1976.tar.gz geiser-guile-c0c3723b1b5ee54e977a25a2f8a409a8071f1976.tar.bz2 | |
New customizable geiser-repl-query-on-kill-p
In case you don't care about killing live REPLs...
Diffstat (limited to 'doc/top.texi')
0 files changed, 0 insertions, 0 deletions