diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-27 15:38:40 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-27 15:38:40 +0200 |
| commit | 53e22c15a2077c8a479acde94cfe6b24bb8a7905 (patch) | |
| tree | 1979b35b552f603dc441e2fe3519c3e9cb6284a8 /bin/get-assignment | |
| parent | 1c26d16709872f97dfce4615a31e472fa0afb3fb (diff) | |
| download | builder-53e22c15a2077c8a479acde94cfe6b24bb8a7905.tar.xz | |
bin/sanity-check: exit with 0 if skipped
Diffstat (limited to 'bin/get-assignment')
0 files changed, 0 insertions, 0 deletions