Skip to content

vagrant minor fixes/improvements in readme#17

Merged
cgundogan merged 1 commit intoRIOT-OS:masterfrom
PeterKietzmann:opt_readme
Oct 13, 2016
Merged

vagrant minor fixes/improvements in readme#17
cgundogan merged 1 commit intoRIOT-OS:masterfrom
PeterKietzmann:opt_readme

Commits

Commits on Oct 13, 2016