diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-03-19 03:09:53 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-03-19 03:14:07 +0100 |
| commit | c5b77aa6d281214ba5fcedaca77230ca393e8b92 (patch) | |
| tree | ea3ecc249d7a376f755f9f1213dbe5c0a479330a /.gitignore | |
| parent | 377f99cd4adb101aed7c3c15651b0da3cde1b380 (diff) | |
| download | geiser-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