diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2023-12-25 23:13:40 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2023-12-25 23:13:40 -0300 |
commit | d6784318b80b784d3528a76429b327d375e90796 (patch) | |
tree | 67c73c1a0fd477f19c396e72c07b52354d9d1ba8 /files/preferences | |
parent | 90f00e8e8359ddcc52a5b36e92274331deb6223b (diff) | |
download | puppet-php-d6784318b80b784d3528a76429b327d375e90796.tar.gz puppet-php-d6784318b80b784d3528a76429b327d375e90796.tar.bz2 |
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 |