<div dir="ltr"><div class="gmail_extra">On Tue, Jan 15, 2013 at 3:43 PM, Matthew Knepley <span dir="ltr"><<a href="mailto:knepley@gmail.com" target="_blank">knepley@gmail.com</a>></span> wrote:<br><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="gmail_extra">I am not sure I buy this argument, which is the same one that people in Trilinos use to avoid</div>
<div class="gmail_extra">releasing source. I think it would be helpful in development.</div></blockquote></div><br>Then put it in a separate part of the site that people have to go to explicitly. If you put it on the web where people find it through search, they'll start trying to use it even though it was never part of the API. My editor shows me that information anyway.</div>
</div>