diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-07-19 22:26:14 +0200 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-07-19 22:26:14 +0200 |
commit | fb58ec28796138f39bb74a3fde56ce134256a457 (patch) | |
tree | b6cb9ef905061bd61169c7d5fc237367f1ef5e24 /doc/img | |
parent | 97b953d0bbf6162ab15ccff8af0b9891922ab491 (diff) | |
download | geiser-fb58ec28796138f39bb74a3fde56ce134256a457.tar.gz geiser-fb58ec28796138f39bb74a3fde56ce134256a457.tar.bz2 |
REPL: new doc bindings in tune with those in scheme buffers.
Diffstat (limited to 'doc/img')
-rw-r--r-- | doc/img/repl-menu.png | bin | 145164 -> 28491 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/img/repl-menu.png b/doc/img/repl-menu.png Binary files differindex 7d1dcbe..306552d 100644 --- a/doc/img/repl-menu.png +++ b/doc/img/repl-menu.png |