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 /doc/intro.texi | |
| parent | f04b9429de1cb815c2ad680603077be6a0d10132 (diff) | |
| download | geiser-guile-39d0ccb19d7c390f306374987219b1d599902bdc.tar.gz geiser-guile-39d0ccb19d7c390f306374987219b1d599902bdc.tar.bz2 | |
Better handling of REPL's header line
Diffstat (limited to 'doc/intro.texi')
0 files changed, 0 insertions, 0 deletions