summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2013-04-09 20:32:09 +0200
committerJose Antonio Ortega Ruiz <jao@gnu.org>2013-04-09 20:32:09 +0200
commitb9fe903ab59f23999817ccdb6cea58d2eb94fa7e (patch)
tree0f404766bc2381359d9b6bc1f79709690c84df2b /.gitignore
parent47a997c4bf9acc7c8bc4bb0260bc8b789f5f596d (diff)
downloadgeiser-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