diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-03-05 13:28:34 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-03-05 13:28:34 +0100 |
| commit | 5846152ba151bbd9da1e361059dd1337d23506c2 (patch) | |
| tree | 7df69c247b40fe409488211eb4898a9cb657b85d /doc/img/repls.png | |
| parent | 8e9389571057f3b0be4f43b54783cd202020d581 (diff) | |
| download | geiser-5846152ba151bbd9da1e361059dd1337d23506c2.tar.gz geiser-5846152ba151bbd9da1e361059dd1337d23506c2.tar.bz2 | |
Bug fix: honour geiser-repl-use-other-window
Diffstat (limited to 'doc/img/repls.png')
0 files changed, 0 insertions, 0 deletions