Peter Robinson 301b462673 disable rockchips PCIE (again) because it's disabled for a reason and documented in bug 1704945		2020-02-11 11:08:29 +00:00
..
fedora	disable rockchips PCIE (again) because it's disabled for a reason and documented in bug 1704945	2020-02-11 11:08:29 +00:00
build_configs.sh
flavors
merge.pl
priority.fedora
process_configs.sh