bin/get-assignment: take max priority of _considered_ build_assignments - builder

diff options

author	Erich Eckner <git@eckner.net>	2023-06-18 21:57:50 +0200
committer	Erich Eckner <git@eckner.net>	2023-06-18 21:57:50 +0200
commit	fe75af7a3ff04e0327aa0425f9f6d6cae0925b1b (patch)
tree	5d4d6ab67171a11b9d1b4de97b8faf6815fdcd88 /bin/get-source-info
parent	d233eea6d04773c2ab3d86dc84f22bdf359110be (diff)

bin/get-assignment: take max priority of _considered_ build_assignments

Diffstat (limited to 'bin/get-source-info')

0 files changed, 0 insertions, 0 deletions