[Plugin]
Module=devhelp-plugin
Name=Devhelp
Description=Integration with devhelp documentation
Authors=Christian Hergert <christian@hergert.me>
Copyright=Copyright © 2015 Christian Hergert
Depends=editor;webkit
Builtin=true
