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/changelog | |
parent | 6103d9791f36839c3f24601135aa2fb6f368a853 (diff) |
Add a --check command to verify the synchronization state.
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions