| commit | b1d0e5b11eac1ed5ae3d41bf952a3f68ad35f668 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Sat Sep 22 11:23:06 2012 +0300 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Sat Sep 22 11:23:06 2012 +0300 |
| tree | f2503b852d942dc73b63fc5b5379ea2b68fc7298 | |
| parent | 85710a40e7e9eab86060bedc3762ccf9ca8d26ca [diff] |
#15949, 15899: avoid using non-latin1 chars in the doc (they break `make all-pdf`).