gplugin/gplugin

closing merged branch
feature/gtk-doc
2018-05-05, Gary Kramlich
004e546a9310
closing merged branch
[branchname]
master = default
develop = develop
feature = feature/
release = release/
hotfix = hotfix/
support = support/