diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-22 08:58:46 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-22 08:58:46 +0200 |
| commit | 6e793c837f0d7c4eb691224ed85a6669015d29bd (patch) | |
| tree | 6e56806e863a5a23c6e2b8aa477dfaefbda61530 /bin/get-assignment | |
| parent | e97a36801970c0c67c684871221a698f6ba750b7 (diff) | |
| download | builder-6e793c837f0d7c4eb691224ed85a6669015d29bd.tar.xz | |
bin/sanity-check: introduce options controlling verbosity
Diffstat (limited to 'bin/get-assignment')
0 files changed, 0 insertions, 0 deletions