3 Commits (ba3df8faea917fd2bc2a3f14dfa88b5c67b54442)

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