diff options
Diffstat (limited to 'docs/plugins/.gitignore')
| -rw-r--r-- | docs/plugins/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/plugins/.gitignore b/docs/plugins/.gitignore index a77f035b..73d2bbd3 100644 --- a/docs/plugins/.gitignore +++ b/docs/plugins/.gitignore @@ -4,6 +4,7 @@ Makefile.in *-decl.txt *-decl-list.txt *-undocumented.txt +*-undeclared.txt *-unused.txt tmpl |