diff options
author | Julian Andres Klode <jak@debian.org> | 2015-08-14 17:26:48 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2015-08-14 17:26:48 +0200 |
commit | c38847ebbbab115b01dd1421dee55d5a50d404f1 (patch) | |
tree | 4f49f24012c138b189708fe798761fbce108749f /apt-private/private-moo.cc | |
parent | 1bdfd2c9de1126522fee08007908a05af32ee8b1 (diff) |
apt_preferences(5): Mention overlapping of pin matches
Diffstat (limited to 'apt-private/private-moo.cc')
0 files changed, 0 insertions, 0 deletions