diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2020-02-13 02:44:41 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2020-02-13 02:44:41 +0000 |
| commit | ec22d9c1fc38fe3b38ec3d552a9e862864cc8f19 (patch) | |
| tree | c77cb68f718a4f76e09f5a468a6d05d5c32e2060 /doc/web.texi | |
| parent | 659d586f6f0695ada311c0f7ac8eb5796ab0e395 (diff) | |
| download | geiser-ec22d9c1fc38fe3b38ec3d552a9e862864cc8f19.tar.gz geiser-ec22d9c1fc38fe3b38ec3d552a9e862864cc8f19.tar.bz2 | |
Proper wrapping of final comment lines (fixes #292)
Thanks a lot Sean Delvin for a great bug report which, moreover,
contained the solution to the problem! (even though i'm risking a
small modification).
Diffstat (limited to 'doc/web.texi')
0 files changed, 0 insertions, 0 deletions