mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-24 05:53:49 +01:00
5aa00a4f8b
* fixed documentation in irq.h * moved tools folder to dist * added check for disk space in build_gnuarm script * fixed gcc check in this script, too
2 lines
8 B
Plaintext
2 lines
8 B
Plaintext
</body>
|