This repository has been archived on 2020-11-04. You can view files and clone it, but cannot push or open issues or pull requests.

Jeremy Gardais 8be0485b15 Increase default Debian Stable/Stretch priority.		2017-08-17 13:54:33 +02:00
..
etc/apt/preferences.d	Increase default Debian Stable/Stretch priority.	2017-08-17 13:54:33 +02:00