geany/geany-plugins — pull request #25 by codebrainz (2012-03-25 22:23:43+00:00)
Title: Devhelp fixes

First and third commits are non-trivial and should be tested by someone else.

P.S. I don't like the idea of having the source code of `libdevhelp` copied into the tree but because of the reasons in the commit message, I think it's the only way to continue to support this plugin, which I'm fine doing with these extra sources.