mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
9457703607
By parameterizing certain paths with `RIOTBASE`, it is possible to load this Vagrantfile from other Vagrantfiles. This feature will be used by the Tutorials repository, so that this Vagrantfile has no knowledge about the tutorials, hence the deletion of the `tutorials` definition at this place. |
||
---|---|---|
.. | ||
testbed-support | ||
tools | ||
ar-wrapper | ||
empty.a | ||
gdbinit-docker | ||
Makefile |