grim/libgnt

Merged in default (pull request #72)

2019-05-14, Gary Kramlich
0f288286b25b
Merged in default (pull request #72)

Hide some more stuff

Approved-by: Gary Kramlich
option('introspection', type : 'boolean', value : true,
description : 'build introspection data')