123456789101112 |
- diff -Naur gri-2.12.23.orig/doc/gri.texi gri-2.12.23/doc/gri.texi
- --- gri-2.12.23.orig/doc/gri.texi 2017-08-24 16:31:52.000000000 +0200
- +++ gri-2.12.23/doc/gri.texi 2019-10-22 15:39:51.666151000 +0200
- @@ -19277,7 +19277,7 @@
- Thomas Larsen,
- @cindex Thomas Larsen (contributor)
- @cindex contributor, Thomas Larsen
- -Alejandro L�pez-Valencia,
- +Alejandro Lopez-Valencia,
- @cindex Alejandro Lopez-Valencia (contributor)
- @cindex contributor, Alejandro Lopez-Valencia
- Kawamura Masao,
|