1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/dist/tools/ci
Sebastian Meiling 780f6046d8
Merge pull request #8745 from aabadie/pr/tools/print_doxygen_version
dist/tools/ci: also print doxygen and flake8 versions
2018-03-09 09:21:00 +01:00
..
build_and_test.sh tools: show diff for headerguards check on failure 2018-03-05 13:54:51 +01:00
changed_files.sh tools/changed_files: adapt for common board dirs 2017-11-30 10:26:36 +01:00
print_toolchain_versions.sh dist/tools/ci: also print doxygen and flake8 versions 2018-03-05 18:42:39 +01:00