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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions