New customizable geiser-repl-query-on-kill-p
commitc0c3723b1b5ee54e977a25a2f8a409a8071f1976
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 9 Apr 2013 18:32:09 +0000 (9 20:32 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 9 Apr 2013 18:32:09 +0000 (9 20:32 +0200)
tree8fc9d89650def7b43fa0d5664ed6b450c60810f8
parent673c6c9fa481c3b50921f2d94afa3c5a73b1920e
New customizable geiser-repl-query-on-kill-p

In case you don't care about killing live REPLs...
elisp/geiser-repl.el