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 | f9fbf7ee18f5de9b1608c303bb108552e041e205 (patch) | |
tree | f157c437f5c302acf25a300a3d43aece44993079 /doc/top.texi | |
parent | df7da58dec06aa66c5cdf3a0657ed6baee7c0150 (diff) | |
download | geiser-guile-f9fbf7ee18f5de9b1608c303bb108552e041e205.tar.gz geiser-guile-f9fbf7ee18f5de9b1608c303bb108552e041e205.tar.bz2 |
Manual: whitespace and missing @noindent
Thanks, once again, to Mark Harig.
Diffstat (limited to 'doc/top.texi')
0 files changed, 0 insertions, 0 deletions