<div class="gmail_quote">On Sat, Mar 17, 2012 at 15:32, Mark F. Adams <span dir="ltr"><<a href="mailto:mark.adams@columbia.edu">mark.adams@columbia.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>done, but it won't show up until I check in my current repo, which could be a week.</div><div><div class="im"></div></div></blockquote></div><br><div><a href="http://petsc.cs.iit.edu/petsc/petsc-dev/rev/597bc483f35d">http://petsc.cs.iit.edu/petsc/petsc-dev/rev/597bc483f35d</a></div>
<div><br></div><div>Mark, this patch adds types and symbols that are not namespaced.</div><div><br></div><div>Please pull before fixing, I just renamed all the private headers to include/petsc-private/.</div>