diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-10-15 18:16:20 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-10-15 18:16:20 +0200 |
| commit | 87d45c87438dcc88515d38b4ffd53275ab8bb65b (patch) | |
| tree | 03682455586e23751847eafc282316f1bd65f063 /doc/repl.texi | |
| parent | f3d1d1d934fbe92c56718c75fc5344f837f916a8 (diff) | |
| download | geiser-87d45c87438dcc88515d38b4ffd53275ab8bb65b.tar.gz geiser-87d45c87438dcc88515d38b4ffd53275ab8bb65b.tar.bz2 | |
README tweaks
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions