diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-09-12 01:59:24 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-09-12 01:59:24 +0200 |
| commit | c4a1367b415e28c9690a71add6157b6247145d50 (patch) | |
| tree | f2cf8b7bcd74ebfa8216b6f08aaecbfaa8d54f46 /doc/repl.texi | |
| parent | 4a40c93d6a1d76f92200fb0b902d21dc0c74dbbf (diff) | |
| download | geiser-c4a1367b415e28c9690a71add6157b6247145d50.tar.gz geiser-c4a1367b415e28c9690a71add6157b6247145d50.tar.bz2 | |
Couple nits
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions