bin/build-packages: accept "$git_repo-HEAD" as revision for package repository $git_repo - builder

diff options

author	Erich Eckner <git@eckner.net>	2017-09-04 09:36:36 +0200
committer	Erich Eckner <git@eckner.net>	2017-09-04 09:36:36 +0200
commit	e029dd74065a58b4c5fdf7dbab369804fddb2683 (patch)
tree	f670eb30aa536d18231f1ebe269b0d75ee39bcd6 /bin/clean-cache
parent	0a2788e175448702a4630f141d6c2c608fe6829b (diff)

bin/build-packages: accept "$git_repo-HEAD" as revision for package repository $git_repo

Diffstat (limited to 'bin/clean-cache')

0 files changed, 0 insertions, 0 deletions