diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-03-20 01:32:38 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-03-20 01:32:38 +0100 |
| commit | 92d36fc65ff6a181769426cf1716245bf6fc2121 (patch) | |
| tree | a7d8cc454ce874e654a0edd6f0ad5d389bf5716f /.gitignore | |
| parent | c9d2c699ecd4e9dee6033ccc59a454bbb9bb3085 (diff) | |
| download | geiser-92d36fc65ff6a181769426cf1716245bf6fc2121.tar.gz geiser-92d36fc65ff6a181769426cf1716245bf6fc2121.tar.bz2 | |
Reuse closed REPL buffers.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions