gplugin/gplugin

closing merged branch
feature/gtk-doc
2018-05-05, Gary Kramlich
004e546a9310
Parents 4cabede88ce7
Children d92f986ed621
closing merged branch