diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-11 07:16:17 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-11 07:16:17 +0200 |
| commit | 96f8693803a4f49770f3bd7a1b3dbad778522987 (patch) | |
| tree | ff83dd2508b3c48c6056506a0d112ca28de6ff71 /doc/img/repl-images.png | |
| parent | d32d4e1a4480f236089fb27ce5f5c4968f1119e7 (diff) | |
| download | geiser-guile-96f8693803a4f49770f3bd7a1b3dbad778522987.tar.gz geiser-guile-96f8693803a4f49770f3bd7a1b3dbad778522987.tar.bz2 | |
New flag to automatically start REPLs when geiser-mode is activated
When no live REPL is found, of course. The flag's imaginatively
called geiser-mode-start-repl-p.
Diffstat (limited to 'doc/img/repl-images.png')
0 files changed, 0 insertions, 0 deletions