summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2018-03-19 03:09:53 +0100
committerJose Antonio Ortega Ruiz <jao@gnu.org>2018-03-19 03:14:07 +0100
commitc5b77aa6d281214ba5fcedaca77230ca393e8b92 (patch)
treeea3ecc249d7a376f755f9f1213dbe5c0a479330a /.gitignore
parent377f99cd4adb101aed7c3c15651b0da3cde1b380 (diff)
downloadgeiser-c5b77aa6d281214ba5fcedaca77230ca393e8b92.tar.gz
geiser-c5b77aa6d281214ba5fcedaca77230ca393e8b92.tar.bz2
A prefix for geiser-compile-current-buffer to restart it all
Okay, i must confess it's sometimes handy to restart the REPL before compiling a file (the proverbial clean slate and all). And we already have geiser-restart-repl, so combining the two things when C-u happens was not really difficult.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions