others/pinning
author Paul Tonelli <paul.tonelli@logilab.fr>
Tue, 12 Mar 2013 11:51:26 +0100
changeset 66 23a31e4cbb65
parent 36 b416322fdd6b
child 130 0de6a4286bae
permissions -rw-r--r--
the scripts now cleans the ssh keys if present as well as the apt cache

Package: *
Pin: release a=wheezy
Pin-Priority: 700

Package: *
Pin: release a=unstable
Pin-Priority: 650