<div class="gmail_quote">On Fri, Dec 2, 2011 at 05:19, Anders Logg <span dir="ltr"><<a href="mailto:logg@simula.no">logg@simula.no</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div id=":1do">Off-topic: I find this thread extremely hard to follow. Is Gmail<br>
required to read this list? The html-formatting with indentation (and<br>
no ">") makes it really hard to read in my email-client (mutt).</div></blockquote></div><br><div>Gmail does clip adequately in the default view, and it manages levels of indentation if you expand, but I still find it annoying when people don't clip to only the relevant part of what they are replying to.</div>
<div><br></div><div>If mutt is worse than this, you should be able to change its configuration to make it tolerable:</div><div><a href="http://lists.mcs.anl.gov/pipermail/petsc-users/2011-December/011287.html">http://lists.mcs.anl.gov/pipermail/petsc-users/2011-December/011287.html</a></div>