<div class="gmail_quote">2010/3/28 Andreas Pakulat <span dir="ltr"><<a href="mailto:apaku@gmx.de">apaku@gmx.de</a>></span><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
playground/devtools/kdevelop4-extra-plugins is where all unmaintained<br>
but kinda-working plugins end up.<font color="#888888"><br></font></blockquote><div>Thank you, I will look into it right now.<br></div></div>