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 | 2f41f60f97936d139a5e533736f4d1d606ca46f9 (patch) | |
| tree | ec5adadc97a9387435089322430ed752da92e852 /doc/img | |
| parent | 7c2913d2b6287b4a29c8e56b58902f33d3c5868c (diff) | |
| download | geiser-2f41f60f97936d139a5e533736f4d1d606ca46f9.tar.gz geiser-2f41f60f97936d139a5e533736f4d1d606ca46f9.tar.bz2 | |
Better handling of REPL's header line
Diffstat (limited to 'doc/img')
0 files changed, 0 insertions, 0 deletions