diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-09-26 19:08:19 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-09-26 19:08:19 +0200 |
| commit | 368a6ab958c1f8c85cbf94d8982b851959b19798 (patch) | |
| tree | bc380f652138e7597e53c822bb53088a87d21f3d /.gitignore | |
| parent | e11f7a94a1f2981673abff1dafc241eb7a808716 (diff) | |
| download | geiser-368a6ab958c1f8c85cbf94d8982b851959b19798.tar.gz geiser-368a6ab958c1f8c85cbf94d8982b851959b19798.tar.bz2 | |
Checking for versions before creating the REPL buffer
... so that we don't end up with a blank, useless buffer around.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions