diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-22 14:56:14 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-22 14:56:14 +0100 |
| commit | 60e7e5a033f0069624bab1754a794e82ec105818 (patch) | |
| tree | cc5262bec89c049d0ba6fd268cec184320df2583 /bin/clean-git | |
| parent | c13bcbe42ab5b6f020b098f10cdbf8dac76afae4 (diff) | |
| download | builder-60e7e5a033f0069624bab1754a794e82ec105818.tar.xz | |
bin/sanity-check: compare master mirror to tracking information in mysql database
Diffstat (limited to 'bin/clean-git')
0 files changed, 0 insertions, 0 deletions