mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-25 06:23:53 +01:00
6844ba2a0c
This contains minor changes to ease maintaining the document (e.g. by using reference-style links so that an URL needs to be updated only in a single place) and adds explicit anchors to ease linking to a certain section.