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