diff options
Diffstat (limited to 'files/preferences')
| -rw-r--r-- | files/preferences | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/files/preferences b/files/preferences new file mode 100644 index 0000000..23ee6c1 --- /dev/null +++ b/files/preferences @@ -0,0 +1,7 @@ +Package: php* +Pin: release o=Debian +Pin-Priority: 990 + +Package: php* +Pin: origin "packages.sury.org" +Pin-Priority: 990 |