gplugin/gplugin

closing merged branch
feature/gtk-doc
2018-05-07, Gary Kramlich
415d74735b02
file isExecutable
closing merged branch
#/bin/sh
set -e
#DEBHELPER#
exit 0