3 Commits (a1e1cd8fa4047a4f65abd853ccccc87c92733bba)

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