Astro 0714162113 rename target_cora_z7_10 to target_coraz7 globally		2020-11-13 17:56:47 +01:00
..
main.rs	rename target_cora_z7_10 to target_coraz7 globally	2020-11-13 17:56:47 +01:00