diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-27 20:31:44 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-27 20:31:44 +0200 |
| commit | 32a5f60bfe859e9d09013fd9809f183a393f676a (patch) | |
| tree | d6ca10b810e17280ba320a7f3b73513344b25257 /bin/ping-to-master | |
| parent | 75d67527edd8db9b8902bc2a02aec63b38392e16 (diff) | |
| download | builder-32a5f60bfe859e9d09013fd9809f183a393f676a.tar.xz | |
bin/copy-to-build-support: exit normally on no-matches
Diffstat (limited to 'bin/ping-to-master')
0 files changed, 0 insertions, 0 deletions