<div class="gmail_quote">2011/11/26 Mattias Gaertner <span dir="ltr"><<a href="mailto:nc-gaertnma@netcologne.de">nc-gaertnma@netcologne.de</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">> Indeed there is a difference. I should have checked it properly.</div><div class="im">
> Is it ok to remove "pbfCompileDependenciesClean" from the hotkey handler?<br>
<br>
</div>Yes.</blockquote><div><br></div><div>Removed in r33794.</div><div><br></div><div>Juha</div><div><br></div></div>