3 Commits (bfafead42e6f19b62c8b13a12db00734487609e1)

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