bin/build-packages, bin/get-assignment: add options to prefer a build order - builder

diff options

author	Erich Eckner <git@eckner.net>	2017-10-24 13:46:13 +0200
committer	Erich Eckner <git@eckner.net>	2017-10-24 13:46:13 +0200
commit	9f16621f04457bca9ac720ed542fe4626d344a1f (patch)
tree	3fc4cb98b2baea554b38eb12a7ea308489fbf9bb /bin/clean-git
parent	62ae0182ea898f88445d9402010c3e0d9194d0f5 (diff)

bin/build-packages, bin/get-assignment: add options to prefer a build order

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

0 files changed, 0 insertions, 0 deletions