<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 4, 2013 at 5:56 PM, Yuchen Wu <span dir="ltr"><<a href="mailto:yuchenericwu@hotmail.com" target="_blank" class="cremed">yuchenericwu@hotmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":5db" style="overflow:hidden">Revert "llvm-cov: Added command-line option to change dir."<br>
<br>
This reverts commit d8acf0078cf363252727acff00f85ae8074f95b3.</div></blockquote></div><br>FYI, it's useful to include a summary of why you're reverting things, and the subversion revision number in addition to (or instead of) the git commit-ish. That helps others keep track of what's going on.</div>
</div>