3 Commits (59b724652385db3107b824a3d095e668e7087624)

Author	SHA1	Message	Date
Christophe Coevoet	c67c804c4b	Fix the doc about repository priorities	2020-04-10 13:32:55 +02:00
Jordi Boggiano	059c009179	Docs fixes ... Co-Authored-By: Nils Adermann <naderman@naderman.de>	2020-04-09 14:01:05 +02:00
Jordi Boggiano	b6bad4eef6	Add options to configure repository priorities	2020-04-09 13:39:06 +02:00