diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2015-07-25 03:29:48 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2015-07-25 03:29:48 +0200 |
| commit | cee3792a151b9dab79a24323c1e81e9ad0a7e8f6 (patch) | |
| tree | ab2a62f0cb3520bbb14c706b76a4bcce07ab820f /debian/pullimap.manpages | |
| parent | 7621ae954c8fcee1e1ad7a53735d20629f26bf83 (diff) | |
Rename '--check' to '--repair' and improve repairing algorithm.
Diffstat (limited to 'debian/pullimap.manpages')
0 files changed, 0 insertions, 0 deletions