gplugin/gplugin

Ignore generated header files
feature/gtk-doc
2018-01-02, Gary Kramlich
3b73bc6facbc
Ignore generated header files
{
"folders":
[
{
"path": "."
}
]
}