<div dir="ltr">I suspect `git log -p` will be your friend here, followed by the good old / search<br><div><div><div><div><div><div class="gmail_extra"><br>-- <br><div class="gmail_signature">Paul Ivanov<br><a href="http://pirsquared.org" target="_blank">http://pirsquared.org</a> | GPG/PGP key id: 0x0F3E28F7</div>
</div></div></div></div></div></div></div>