diff options
author | Julian Andres Klode <jak@debian.org> | 2015-08-10 11:00:37 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2015-08-10 11:00:37 +0200 |
commit | 9fb02ab02528ea45747318af26fae8a732cd2840 (patch) | |
tree | 34e39ba7a3016542ea0684482f453712b242c3db /apt-pkg/sourcelist.h | |
parent | ebda4f51f6707e5a6550f92d9407eab855039060 (diff) |
pkgPolicy: Introduce storage and helpers for per-version pins
Per-version pins should lead to more predictable results with
/etc/apt/preferences uses like pinning one version with -1.
Diffstat (limited to 'apt-pkg/sourcelist.h')
0 files changed, 0 insertions, 0 deletions