diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-21 11:16:22 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-21 11:16:22 +0100 |
| commit | 28593a5108321b6c14262f96c322a3be12fee9ba (patch) | |
| tree | 0bd16d2e8b0c7485de079533e42809a1fd064637 /bin/clean-cache | |
| parent | 944da1b00e72f35fd758951a7b25bbb61f43b9fb (diff) | |
| download | builder-28593a5108321b6c14262f96c322a3be12fee9ba.tar.xz | |
bin/ping-from-slave: tell slave if build is still expected from him
Diffstat (limited to 'bin/clean-cache')
0 files changed, 0 insertions, 0 deletions