diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-26 15:08:57 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-26 15:08:57 +0200 |
| commit | bab7e4ea534004ba47c7206a89490ab3afc001aa (patch) | |
| tree | f81f114bb402bc27e8f2cdcfd9a7749ea3a19e95 /bin/clean-git | |
| parent | c58e0403753ec5a006991261c67f3bbc9466eae5 (diff) | |
| download | builder-bab7e4ea534004ba47c7206a89490ab3afc001aa.tar.xz | |
bin/get-assignment: honor order of toolchain when handing out assignments
Diffstat (limited to 'bin/clean-git')
0 files changed, 0 insertions, 0 deletions