diff options
author | Michael Vogt <mvo@debian.org> | 2013-12-10 17:09:56 +0100 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2013-12-10 17:09:56 +0100 |
commit | 65dcff55dc5c9b47230d340a70c5067921eec4bf (patch) | |
tree | be699c96bd6217bdbe59bcb7dcdea5ad4419b4c5 /test/integration/Packages-policy-pinning | |
parent | bfa7bfc8e426f662ee5a5d0fcba3daeea23fe2ae (diff) |
user-requested version tag gets precedence in apt-get source -t dist pkg=version requests
Diffstat (limited to 'test/integration/Packages-policy-pinning')
0 files changed, 0 insertions, 0 deletions