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 | db80a2219d6294dc8b5548cfb59890939ae83cd7 (patch) | |
| tree | eb12bbaa04e1657bc1258d64a04b8d1b6add4da0 /bin | |
| parent | e357eae8fa8c7d6a59f22a1c97cb90a386762089 (diff) | |
| download | geiser-guile-db80a2219d6294dc8b5548cfb59890939ae83cd7.tar.gz geiser-guile-db80a2219d6294dc8b5548cfb59890939ae83cd7.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 'bin')
0 files changed, 0 insertions, 0 deletions