diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-25 14:57:59 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-25 14:57:59 +0200 |
| commit | 22cd0ae466e2a8423a3942d814750cd7268eb987 (patch) | |
| tree | 6a10fbe1bf45fb6141c4652c33f9779e4909f416 /lib | |
| parent | 49727af5d8015c356288c6cf5f062348768e7849 (diff) | |
| download | builder-22cd0ae466e2a8423a3942d814750cd7268eb987.tar.xz | |
bin/return-assignment: allow aborting a build-order by the building slave
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions