diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-24 23:46:33 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-24 23:46:33 +0100 |
| commit | ba1b1d6c588665f90d646201cefa3753409693ee (patch) | |
| tree | 48d0fa4772b37ff7cc7b38cbcaf51e9e61c58ab0 /doc/img/repl-menu.png | |
| parent | 9d6f58752e0de247eb165a0052116ec97a1afb22 (diff) | |
| download | geiser-ba1b1d6c588665f90d646201cefa3753409693ee.tar.gz geiser-ba1b1d6c588665f90d646201cefa3753409693ee.tar.bz2 | |
Doc browser: help echo for buttons
Diffstat (limited to 'doc/img/repl-menu.png')
0 files changed, 0 insertions, 0 deletions