diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-01 14:14:05 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-01 14:14:05 +0100 |
| commit | a03d072cc472de7d2707b97079335d17025bd475 (patch) | |
| tree | 92437891e6b650e53789df52cc573a9c769b7473 /web-scripts | |
| parent | eec7bff763e119a05b3b16c2c1e7477eb381f86a (diff) | |
| download | builder-a03d072cc472de7d2707b97079335d17025bd475.tar.xz | |
bin/get-assignment: honor `priority` of `build_assignments`
Diffstat (limited to 'web-scripts')
0 files changed, 0 insertions, 0 deletions