diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-05-25 04:29:48 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-05-25 04:29:48 +0200 |
| commit | 0870749738a8473678f7021a2b9bed0f90080350 (patch) | |
| tree | 18b0807310fd5e2ca94bbc1909b68c5e27bc499a /.gitignore | |
| parent | ac726e6c49846b920466650fe9f3b57b1eb50e20 (diff) | |
| download | geiser-guile-0870749738a8473678f7021a2b9bed0f90080350.tar.gz geiser-guile-0870749738a8473678f7021a2b9bed0f90080350.tar.bz2 | |
Fix to documentation browser's switch to repl keybinding.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions