diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-27 14:44:16 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-27 14:44:16 +0200 |
| commit | 097811c953284f1c676de8ceee45a70f0b4e64a7 (patch) | |
| tree | f7ee1cb291b3880c8c944b0d79cbbf08c1e43ea5 /doc/repl.texi | |
| parent | 14c436f5f8d73fe80da40eda382c7a76aacb3ef1 (diff) | |
| download | geiser-097811c953284f1c676de8ceee45a70f0b4e64a7.tar.gz geiser-097811c953284f1c676de8ceee45a70f0b4e64a7.tar.bz2 | |
Better switch/import REPL commands.
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions