<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Sep 16, 2013 at 11:12 AM, Daniel Jasper <span dir="ltr"><<a href="mailto:djasper@google.com" target="_blank" class="cremed">djasper@google.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I think this generally seems like a good idea. However, I'd like to also keep the old version at least for a while for compatibility and because I think it is slightly easier to install until it can be used by Vundle etc.<div>


<br></div><div>That should however not keep us from also committing this.</div></div></blockquote><div><br></div><div>Really? It seems like a good thing to ask for...</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div> Either to some Github repository</div></div></blockquote><div><br></div><div>Please don't... =[ I don't think we want more repositories holding this stuff.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div>The current state where several editor integrations are just files in tools/clang-format is a mess anyway ..</div></div></blockquote><div><br></div><div>Yea, this might be a good motivator to figure this out effectively. </div>
</div><br><br></div></div>