<div class="gmail_quote">On Tue, Mar 22, 2011 at 17:05, Jose E. Roman <span dir="ltr"><<a href="mailto:jroman@dsic.upv.es">jroman@dsic.upv.es</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div id=":46n">Based on feedback received from one of the pARMS developers, I am attaching a patch that modifies some default values.<br>
<br>
Jed, can you push again?</div></blockquote></div><br><div>done</div>