diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
| @@ -25,12 +25,14 @@ coverage | |||
| 25 | doxygen | 25 | doxygen |
| 26 | sandbox | 26 | sandbox |
| 27 | phpmd.html | 27 | phpmd.html |
| 28 | phpdoc.xml | ||
| 28 | 29 | ||
| 29 | # User plugin configuration | 30 | # User plugin configuration |
| 30 | plugins/*/config.php | 31 | plugins/*/config.php |
| 31 | 32 | ||
| 32 | # HTML documentation | 33 | # HTML documentation |
| 33 | doc/html/ | 34 | doc/html/ |
| 35 | doc/phpdoc/ | ||
| 34 | 36 | ||
| 35 | # 3rd party themes | 37 | # 3rd party themes |
| 36 | tpl/* | 38 | tpl/* |