<html><head></head><body><div>Le vendredi 19 mai 2017 à 09:10 +0100, Russel Winder a écrit :</div><blockquote type="cite">Pity, I cannot cope with reading long documents online, I have to print<br>
and read on paper. <br>
<br>
<font color="#737373">> <a href="https://gstreamer.freedesktop.org/documentation/plugin">https://gstreamer.freedesktop.org/documentation/plugin</a>-</font><br>
<font color="#737373">> development/index.html</font><br>
<br>
Is there sufficient difference that the 1.10.1 PDF would be bad to<br>
print?</blockquote><div><br></div><div>It should be fairly small.</div><div><br></div><div>regards,</div><div>Nicolas</div></body></html>