diff options
| author | jvoisin | 2017-12-18 10:32:18 +0100 |
|---|---|---|
| committer | jvoisin | 2017-12-18 10:32:18 +0100 |
| commit | 02f4b9e2b8827afca8de81e66febd0e1ceee1273 (patch) | |
| tree | 3a69f36ddc1db65de5971752070fcb50573e7c97 /debian/files | |
| parent | 94af317677ee0776eaf7b1cd802bc90f95c53149 (diff) | |
Improve a bit the wording of the help message
Diffstat (limited to 'debian/files')
0 files changed, 0 insertions, 0 deletions