diff options
Diffstat (limited to 'docs/plugins/.gitignore')
| -rw-r--r-- | docs/plugins/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/plugins/.gitignore b/docs/plugins/.gitignore index c18327d1..23e00e2e 100644 --- a/docs/plugins/.gitignore +++ b/docs/plugins/.gitignore @@ -5,7 +5,10 @@ Makefile.in *-decl-list.txt *-undocumented.txt *-unused.txt +*-overrides.txt + +tmpl html sgml xml |