diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-11-11 16:58:07 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-11-11 16:58:07 +0100 |
| commit | a36fd73dbd98a31fb955f5570afc307e3fc0cbf9 (patch) | |
| tree | 8841f750409eb3fe0ad0eddccf7397ed58060b6b /doc/top.texi | |
| parent | a013b17d8f27de4ccec12e1fd2cf19f097684948 (diff) | |
| download | geiser-a36fd73dbd98a31fb955f5570afc307e3fc0cbf9.tar.gz geiser-a36fd73dbd98a31fb955f5570afc307e3fc0cbf9.tar.bz2 | |
New command geiser-repl-clear-buffer
Just renamed geiser-repl--clear-buffer (we don't use -- when users can
call the command with M-x normally) and added documentation.
Diffstat (limited to 'doc/top.texi')
0 files changed, 0 insertions, 0 deletions