diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-04 21:30:48 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-07-04 21:30:48 +0200 |
| commit | 3879e93aea4eee99ac221503e1a5c59be0b8dfbd (patch) | |
| tree | 733c8bd70158a40ea3939762e45254f80ec35a7c /bin/get-assignment | |
| parent | 80928ebb87771fda024e8c06766cad21843b8de9 (diff) | |
| download | builder-3879e93aea4eee99ac221503e1a5c59be0b8dfbd.tar.xz | |
bin/sanity-check: add build-support repository
Diffstat (limited to 'bin/get-assignment')
0 files changed, 0 insertions, 0 deletions