diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-13 11:32:18 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-13 11:32:18 +0200 |
| commit | c690de69ca33398530e8f00823538baf0d928d87 (patch) | |
| tree | 26ba55892f940fb7cdebb02427a0af09ce9a3901 /misc | |
| parent | 6dd11c1112a2ca2740c18dff7cf5db36860328cc (diff) | |
| download | builder-c690de69ca33398530e8f00823538baf0d928d87.tar.xz | |
bin/prioritize-build-list: work with pipes, too
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions