diff options
| author | Erich Eckner <git@eckner.net> | 2019-04-17 14:04:02 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-04-17 14:04:02 +0200 |
| commit | b6568d37c8be310b5a4821e0c1505635542b0b94 (patch) | |
| tree | 65120d4abc5d864c5cb0eb1f05c293890af47554 /bin/get-assignment | |
| parent | 48a84a2ca7bf680fde1975fe87262d3fea6b1da3 (diff) | |
| download | builder-b6568d37c8be310b5a4821e0c1505635542b0b94.tar.xz | |
bin/build-packages: -d should require, that the given package is indeed the prefered one
Diffstat (limited to 'bin/get-assignment')
0 files changed, 0 insertions, 0 deletions