1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 12:52:44 +01:00
Commit Graph

3 Commits

Author SHA1 Message Date
Neil Jones
ceb0fa9205 dist: update toolchain info script for mips 2017-02-09 15:54:59 +00:00
Joakim Nohlgård
05769dddee dist/tools/ci: toolchain versions: Fix heading formatting 2017-01-19 14:13:36 +01:00
Joakim Nohlgård
001a30ef4f dist/tools/ci: Add script for printing installed toolchain versions to CI log 2017-01-19 09:12:26 +01:00