diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-13 09:45:16 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-13 09:45:16 +0200 |
| commit | 3359e6f1e145781a6fcc1956bd5afa5df5bd2002 (patch) | |
| tree | 87d1071718887a1c3ded67db19e46d0b317d34c1 /misc | |
| parent | 425212a0e3cd0884971a6aa367be2fb49f1acba5 (diff) | |
| download | builder-3359e6f1e145781a6fcc1956bd5afa5df5bd2002.tar.xz | |
bin/get-assignment: same-arch should be less valued than last_trial
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions