diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 0d4b7bbc9..09bc5c982 100644 --- a/.gitignore +++ b/.gitignore @@ -35,6 +35,9 @@ bin/ /lib/ant/ /lib/asm/ /lib/commons/ +/lib/docbook/docbook-dtd/ +/lib/docbook/docbook-xsl/ +/lib/docbook/doc*.zip /lib/jarjar/ /lib/jdtcore-aj/ /lib/junit/ |