diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-10-13 04:14:25 +0200 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-10-13 04:14:25 +0200 |
commit | b5d77afab8fe99a4ff4b1e3658d678bf36d0a6b2 (patch) | |
tree | a2989620ab931afcbf0f289a5d91b46fd28ec80a /THANKS | |
parent | b8630ca33b9abbcc5b39163d1df9180a66f1f998 (diff) | |
download | geiser-b5d77afab8fe99a4ff4b1e3658d678bf36d0a6b2.tar.gz geiser-b5d77afab8fe99a4ff4b1e3658d678bf36d0a6b2.tar.bz2 |
Manual lookup shortcut (C-c C-d i) also in REPL buffers
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions