gplugin/gplugin

Allow users to specify whether or not the headers are visible
feature/gplugin-gtk-view-cleanups
2019-11-07, Gary Kramlich
87f7617b34bf
Allow users to specify whether or not the headers are visible
export GPLUGIN_VERSION=@GPLUGIN_MAJOR_VERSION@.@GPLUGIN_MINOR_VERSION@.@GPLUGIN_MICRO_VERSION@