diff options
author | Erich Eckner <git@eckner.net> | 2017-10-26 09:38:51 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-10-26 09:38:51 +0200 |
commit | ecaa8711d57c069a0ff98247d24369247421d56c (patch) | |
tree | 221c5216c0407633c81ace9321bbd11123839e0e /.gitignore | |
parent | 84459b13161c572ec2fbaf4dd4b4ed5ba3ce4709 (diff) | |
download | builder-ecaa8711d57c069a0ff98247d24369247421d56c.tar.xz |
bin/get-assignment: hand out prefered packages even if they are blocked
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions