diff options
author | kwadronaut <kwadronaut@puscii.nl> | 2018-09-26 17:36:20 +0200 |
---|---|---|
committer | kwadronaut <kwadronaut@puscii.nl> | 2018-09-26 17:36:20 +0200 |
commit | 118bfb9ba8fc819b99861992c93f665792f94874 (patch) | |
tree | 29c83b322850e36d739d9ef3491049fedfba2dc7 /files/Debian/preferences_fallback | |
parent | 3bed48fba6ae35813b8c4413887aba5262c43689 (diff) | |
parent | 145b5238258827702ad3ac4a0a9713981209e1bc (diff) |
Merge remote-tracking branch 'shared/master'
Diffstat (limited to 'files/Debian/preferences_fallback')
-rw-r--r-- | files/Debian/preferences_fallback | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/files/Debian/preferences_fallback b/files/Debian/preferences_fallback new file mode 100644 index 0000000..1c75e83 --- /dev/null +++ b/files/Debian/preferences_fallback @@ -0,0 +1,7 @@ +# This file is managed by puppet +# all local modifications will be overwritten + +Explanation: Debian fallback +Package: * +Pin: release o=Debian +Pin-Priority: -10 |