diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -28,6 +28,9 @@ phpmd.html | |||
28 | # User plugin configuration | 28 | # User plugin configuration |
29 | plugins/*/config.php | 29 | plugins/*/config.php |
30 | 30 | ||
31 | # HTML documentation | ||
32 | doc/html/ | ||
33 | |||
31 | # 3rd party themes | 34 | # 3rd party themes |
32 | tpl/* | 35 | tpl/* |
33 | !tpl/default | 36 | !tpl/default |