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 698d8d11..d3aa67f9 100644 --- a/docs/plugins/.gitignore +++ b/docs/plugins/.gitignore @@ -3,6 +3,7 @@ Makefile.in *-decl.txt *-decl-list.txt +*-undeclared.txt *-undocumented.txt *-unused.txt *-overrides.txt |