diff options
| author | jvoisin | 2018-02-09 16:17:58 +0100 |
|---|---|---|
| committer | jvoisin | 2018-02-09 16:17:58 +0100 |
| commit | 64845e70d120bca06dc9c0454841c1669535cc1e (patch) | |
| tree | 854d384ae537cec2f80664b0b2c645a650e41b12 /debian/source/format | |
| parent | b92d25350609d4213e62bcfac0a77607bcfadb74 (diff) | |
Clarify a bit the documentation
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions