diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-13 12:37:23 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-13 12:37:23 +0200 |
| commit | bf1267babf5e4eb34d1b397e2b7ae03c0d0d7f54 (patch) | |
| tree | 7aa01d702985cc92105eb808ba7c2c6a4981a62b /lib | |
| parent | 5b18b6f2cfe011660f2c49b69caf91092b32b0fb (diff) | |
| download | builder-bf1267babf5e4eb34d1b397e2b7ae03c0d0d7f54.tar.xz | |
bin/get-assignment: delete all but one toolchain build-assignment if any toolchain build-assignment is to be built
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions