diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-03-21 12:27:53 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-03-21 12:27:53 +0100 |
| commit | ce2153a84d13e1e672a6ca6fd4c9144cac585c10 (patch) | |
| tree | ca900a5dd0bb301b3602a5e3980170044880d2fa /doc/repl.texi | |
| parent | 10cd49cb99f9cac28ad3686d3eaba4276c089288 (diff) | |
| download | geiser-ce2153a84d13e1e672a6ca6fd4c9144cac585c10.tar.gz geiser-ce2153a84d13e1e672a6ca6fd4c9144cac585c10.tar.bz2 | |
Minor web nit
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions