diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-02-27 13:52:00 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-02-27 13:52:00 +0100 |
| commit | 8e9389571057f3b0be4f43b54783cd202020d581 (patch) | |
| tree | 26f971fa75f9080f19d63047b268088758ca711e /doc/repl.texi | |
| parent | f0b198ed2b8d4c8c07256cc200f9ce667d2e6368 (diff) | |
| download | geiser-8e9389571057f3b0be4f43b54783cd202020d581.tar.gz geiser-8e9389571057f3b0be4f43b54783cd202020d581.tar.bz2 | |
NEWS update
Now that the previous patch seems to work (thanks David Bremner!).
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions