diff options
| author | jvoisin | 2017-10-30 13:17:16 +0100 |
|---|---|---|
| committer | jvoisin | 2017-10-30 13:19:03 +0100 |
| commit | c44872c883cfb0e801a60a0bf5eb836b35ef2a96 (patch) | |
| tree | 341179aec377315e5aa68ee564f78cd82d73d466 /doc/source | |
| parent | 1476b0ddbab0748c332fd9ee7bed1ba9d1f35d96 (diff) | |
Bump coverage and simplify some code
Diffstat (limited to 'doc/source')
0 files changed, 0 insertions, 0 deletions