gplugin/gplugin

closing merged branch
feature/gtk-doc
2018-05-07, Gary Kramlich
415d74735b02
closing merged branch
debian/tmp/usr/lib/*/girepository-1.0/
debian/tmp/usr/share/gir-1.0/