diff options
author | Erich Eckner <git@eckner.net> | 2018-05-29 16:54:48 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-05-29 16:54:48 +0200 |
commit | 76b43092f15494a0c7b26cf13a625893fc077044 (patch) | |
tree | efcdb6571e1f843e32c96825a9170a2ecb131b53 /bin/ping-to-master | |
parent | 812a74361742c3bf9c3d03362e63e18d9fb5b4c0 (diff) | |
download | builder-76b43092f15494a0c7b26cf13a625893fc077044.tar.xz |
bin/copy-to-build-support: keep binary_packages_in_repositories up-to-date
Diffstat (limited to 'bin/ping-to-master')
0 files changed, 0 insertions, 0 deletions