diff options
| -rw-r--r-- | docs/plugins/.gitignore | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/docs/plugins/.gitignore b/docs/plugins/.gitignore new file mode 100644 index 000000000..2ef1402d1 --- /dev/null +++ b/docs/plugins/.gitignore @@ -0,0 +1,18 @@ +Makefile +Makefile.in + +*-decl.txt +*-decl-list.txt +*-undocumented.txt +*-unused.txt + +*.args +*.hierarchy +*.interfaces +*.prerequisites +*.signals + +html +sgml +xml +*.stamp |