Nope, get rid of it.<br><br>  Matt<br><br><div class="gmail_quote">On Wed, Oct 28, 2009 at 12:32 PM, Jed Brown <span dir="ltr"><<a href="mailto:jed@59a2.org">jed@59a2.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I don't think external projects should have to include <../src/whatever><br>
because this doesn't work if PETSc is "installed" and it's a screwy API<br>
(even if most users don't see it).<br>
<br>
Any objections to this?<br>
<font color="#888888"><br>
<br>
Jed<br>
<br>
</font></blockquote></div><br><br clear="all"><br>-- <br>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>-- Norbert Wiener<br>