Krazy2 plugin for KDevelop

[Daniel Calviño Sánchez]

Hi,

the move from my personal scratch repository to the KDE Projects has
finished. The kdev-krazy2 plugin is now at
"Playground/Devtools/Plugins/Krazy2 Plugin for KDevelop":
https://projects.kde.org/projects/playground/devtools/plugins/kdev-krazy2

Unfortunately, as I have already said, I won't have time in the
foreseeable future to work on the plugin :( If someone wants to
improve it, for example with any of the ideas proposed in this thread,
please be my guest :)