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 2ef1402d..3d0968a2 100644 --- a/docs/plugins/.gitignore +++ b/docs/plugins/.gitignore @@ -14,5 +14,6 @@ Makefile.in html sgml +tmpl xml *.stamp |