diff options
author | Erich Eckner <git@eckner.net> | 2018-05-15 10:03:17 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-05-15 10:03:17 +0200 |
commit | e39e8c4831f6016344de8448b193c16dad68ba8b (patch) | |
tree | feea696a3781cfc16385086bf36efefae758eb7e /bin/ping-to-master | |
parent | 7b09ca326731653be4d8baa54be133de1e31a550 (diff) | |
download | builder-e39e8c4831f6016344de8448b193c16dad68ba8b.tar.xz |
bin/build-packages: do not start new builds if the script changed
Diffstat (limited to 'bin/ping-to-master')
0 files changed, 0 insertions, 0 deletions