There is nothing here yet, but that does not mean that that there is nothing
to do. Please email kdevelop-devel@kdevelop.org or visit our IRC-channel
#kdevelop@irc.freenode.org if you are interested in contributing to the KDevelop platform.