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 | b9fe903ab59f23999817ccdb6cea58d2eb94fa7e (patch) | |
| tree | 0f404766bc2381359d9b6bc1f79709690c84df2b /.gitignore | |
| parent | 47a997c4bf9acc7c8bc4bb0260bc8b789f5f596d (diff) | |
| download | geiser-b9fe903ab59f23999817ccdb6cea58d2eb94fa7e.tar.gz geiser-b9fe903ab59f23999817ccdb6cea58d2eb94fa7e.tar.bz2 | |
New customizable geiser-repl-query-on-kill-p
In case you don't care about killing live REPLs...
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions