diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-03 10:34:48 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-03 10:34:48 +0200 |
| commit | 4ff3ae588805c768827ea174f74ce49cfccafcec (patch) | |
| tree | a72fea204f2cfacea8cd7cef60faf9071a35ea3f /bin/get-assignment | |
| parent | 3c68a157dc6ebc994218bd172bcc75e868462e86 (diff) | |
| download | builder-4ff3ae588805c768827ea174f74ce49cfccafcec.tar.xz | |
bin/sanity-check: save mark if build master is insane or sane
Diffstat (limited to 'bin/get-assignment')
0 files changed, 0 insertions, 0 deletions