David Abdurachmanov af8982f0b6 Fix configuration ... Signed-off-by: David Abdurachmanov <david.abdurachmanov@sifive.com>		2019-12-09 17:25:00 +02:00
..
fedora	Fix configuration	2019-12-09 17:25:00 +02:00
build_configs.sh
config_generation	Revert changes in config_generation	2019-11-06 08:54:37 +02:00
merge.pl
process_configs.sh