diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2015-07-24 01:21:17 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2015-07-24 01:21:17 +0200 |
| commit | 7d5e16c835b0444330d424a98924dbd13523087f (patch) | |
| tree | 03a154a32a9acebd67061cc5a958e1c541640acf /debian/source | |
| parent | 6103d9791f36839c3f24601135aa2fb6f368a853 (diff) | |
Add a --check command to verify the synchronization state.
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions