[Github-comments] [geany/geany-plugins] devhelp: use new plugin API (#707)

LarsGit223 notifications at xxxxx
Sat Feb 24 15:20:49 UTC 2018


Nothing more to say.
You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany-plugins/pull/707

-- Commit Summary --

  * devhelp: use new plugin API

-- File Changes --

    M devhelp/src/dhp-plugin.c (98)
    M devhelp/src/dhp-plugin.h (15)

-- Patch Links --

https://github.com/geany/geany-plugins/pull/707.patch
https://github.com/geany/geany-plugins/pull/707.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany-plugins/pull/707
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20180224/886cd37b/attachment.html>


More information about the Github-comments mailing list