diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-09-07 01:24:22 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-09-07 01:24:22 +0200 |
| commit | df93d3f4a298f29a43c754f5ef9e4dce3b4e28fd (patch) | |
| tree | 93c112619a6de1aa538a10b89ec6c2fd717459fa /.gitignore | |
| parent | 04723be32587f879af6beb053042fbe1482f8944 (diff) | |
| download | geiser-df93d3f4a298f29a43c754f5ef9e4dce3b4e28fd.tar.gz geiser-df93d3f4a298f29a43c754f5ef9e4dce3b4e28fd.tar.bz2 | |
Bug fix: run-geiser and friends now always create a new REPL.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions