diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-01-10 15:32:30 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-01-10 15:32:30 +0100 |
| commit | e4dfef77b0f61447978aeaf58d61953f5cf1f3e9 (patch) | |
| tree | 49b046284bfcbc8845461be957bc1bf0cbac8837 /doc/img/repl-menu.png | |
| parent | 65e9f9b1d0398eaaa08a8488cb0bf35eb0ffb88b (diff) | |
| download | geiser-e4dfef77b0f61447978aeaf58d61953f5cf1f3e9.tar.gz geiser-e4dfef77b0f61447978aeaf58d61953f5cf1f3e9.tar.bz2 | |
Manual: whitespace and missing @noindent
Thanks, once again, to Mark Harig.
Diffstat (limited to 'doc/img/repl-menu.png')
0 files changed, 0 insertions, 0 deletions