Viktor 46b1d9f5f2 General: set toolchain release tag globally		2023-05-31 20:30:57 +02:00
..
board	General: introduce separate board config values	2023-05-26 15:04:34 +02:00
configs	General: set toolchain release tag globally	2023-05-31 20:30:57 +02:00