diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-08 04:05:31 +0100 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-08 04:05:31 +0100 |
commit | 39d0ccb19d7c390f306374987219b1d599902bdc (patch) | |
tree | bbf044ae5b3190ebebd91b32ba7f6d54c1fd04bc /.gitignore | |
parent | f04b9429de1cb815c2ad680603077be6a0d10132 (diff) | |
download | geiser-guile-39d0ccb19d7c390f306374987219b1d599902bdc.tar.gz geiser-guile-39d0ccb19d7c390f306374987219b1d599902bdc.tar.bz2 |
Better handling of REPL's header line
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions