3 Commits (85950f8e9a7f9901c061456ceb43317d59b23661)

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