diff options
| author | Markus Holtermann <info@markusholtermann.eu> | 2016-05-21 13:18:18 +0200 |
|---|---|---|
| committer | Markus Holtermann <info@markusholtermann.eu> | 2016-05-21 13:18:18 +0200 |
| commit | 6dde884c01156e36681aa51a5e0de4efa9575cfd (patch) | |
| tree | 0414582b20c451058dd895f92a66b8d42c66274d /docs/_theme | |
| parent | 46a38307c245ab7ed0b4d5d5ebbaf523a81e3b75 (diff) | |
Disable patch coverage checks
Diffstat (limited to 'docs/_theme')
0 files changed, 0 insertions, 0 deletions