diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2012-04-03 11:43:43 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2012-04-03 11:43:43 +0200 |
| commit | 2215c89ef90f6c0cca15f4b90b5b6ca8454458f0 (patch) | |
| tree | c278f140b95f49a68e309a05a84e1f8ae75503f8 /apt/preferences | |
| parent | 446eb528fcc222a70464a973d430c0adb0393790 (diff) | |
Drop possibly outdated APT pinning preference file.
Diffstat (limited to 'apt/preferences')
| -rw-r--r-- | apt/preferences | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/apt/preferences b/apt/preferences deleted file mode 100644 index f288223..0000000 --- a/apt/preferences +++ /dev/null @@ -1,3 +0,0 @@ -Package: * -Pin: release a=testing -Pin-Priority: 600 |