bin/db-update: use repo-copy to avoid needing to pull all moving packages - builder

diff options

author	Erich Eckner <git@eckner.net>	2018-03-09 10:28:52 +0100
committer	Erich Eckner <git@eckner.net>	2018-03-09 10:28:52 +0100
commit	b5bacd8de3c56f996f8fdd27365e735e71e0c152 (patch)
tree	c6bde9ee4bf9637879c266bf59797cb89527a3e0 /web-scripts/build-slaves.php
parent	920f3351e045c9e2d9aa18706dc86557dd59cc5d (diff)

bin/db-update: use repo-copy to avoid needing to pull all moving packages

Diffstat (limited to 'web-scripts/build-slaves.php')

0 files changed, 0 insertions, 0 deletions