aboutsummaryrefslogtreecommitdiffstats
path: root/debian/source
diff options
context:
space:
mode:
authorGuilhem Moulin <guilhem@fripost.org>2015-07-24 01:21:17 +0200
committerGuilhem Moulin <guilhem@fripost.org>2015-07-24 01:21:17 +0200
commit7d5e16c835b0444330d424a98924dbd13523087f (patch)
tree03a154a32a9acebd67061cc5a958e1c541640acf /debian/source
parent6103d9791f36839c3f24601135aa2fb6f368a853 (diff)
Add a --check command to verify the synchronization state.
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions