diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-03-06 16:28:20 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-03-06 16:28:20 +0100 |
| commit | 56e279b900535cf4c3b9d23a81124190592aaea2 (patch) | |
| tree | be4d05a0a14ac98c72470aba249901362599935c /doc/repl.texi | |
| parent | 19f05d1355e19d79536b458f2eb723489eeff7d7 (diff) | |
| download | geiser-56e279b900535cf4c3b9d23a81124190592aaea2.tar.gz geiser-56e279b900535cf4c3b9d23a81124190592aaea2.tar.bz2 | |
Bug fix: don't confuse REPL buffers
We were not checking the implementation associated to a REPL buffer
when reusing it, with much confusion ensued.
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions