Frederik Rietdijk 16d733bbe5 doc: move fetchers and trivial builders under builders		2019-10-20 13:35:04 +02:00
..
fetchers.xml	doc: move fetchers and trivial builders under builders	2019-10-20 13:35:04 +02:00
trivial-builders.xml	doc: move fetchers and trivial builders under builders	2019-10-20 13:35:04 +02:00