diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-26 15:17:21 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-26 15:17:21 +0200 |
| commit | 92bff46a1574c5425e88696f19333973406e0743 (patch) | |
| tree | dec45aa9639a3c1adb5b38dfb77970ac1f953f5b /misc | |
| parent | 130ac893e7903a39a320eeb803d4b2d8c2178288 (diff) | |
| download | builder-92bff46a1574c5425e88696f19333973406e0743.tar.xz | |
bin/get-assignment: fix toolchain logic
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions