[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