<div dir="ltr">On 27 February 2013 22:24, Sean Silva <span dir="ltr"><<a href="mailto:silvas@purdue.edu" target="_blank">silvas@purdue.edu</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div class="im"><span style="color:rgb(34,34,34)">It would be better to say "editable with a text editor", to avoid</span><br></div>
religious issues.<br></blockquote><div><br></div><div style>That's a good point, changed in r176221.</div><div style><br></div><div style>Thanks!</div><div style>--renato</div></div></div></div>