Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request RIOT-OS#8745 from aabadie/pr/tools/print_doxygen_v…
…ersion dist/tools/ci: also print doxygen and flake8 versions
- Loading branch information