Gunar Schorcht 0252af6572 dist/tools/ci: print toolchain version update for esp8266 ... The new ESP8266 port in PR #11108 requires a different tool chain than the previous implementation. The version check must be updated accordingly.		2020-01-04 17:23:28 +01:00
..
build_and_test.sh	tools/ci: fix typo in build_and_test.sh script	2019-10-10 15:48:18 +02:00
changed_files.sh	make: Ignore checking all vendor files	2018-05-29 15:21:44 -07:00
print_toolchain_versions.sh	dist/tools/ci: print toolchain version update for esp8266	2020-01-04 17:23:28 +01:00