[riot-commits] [RIOT-OS/RIOT] 9de348: Doc: improved README for new boards in Vagrant

[Cenk Gündoğan]

  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 9de3484c129da804da9f2c41cf019bef4c724bdf
      https://github.com/RIOT-OS/RIOT/commit/9de3484c129da804da9f2c41cf019bef4c724bdf
  Author: Emmanuel Baccelli <emmanuel.baccelli at inria.fr>
  Date:   2017-03-28 (Tue, 28 Mar 2017)

  Changed paths:
    M dist/tools/vagrant/README.md

  Log Message:
  -----------
  Doc: improved README for new boards in Vagrant


  Commit: f7797cca971e275ce0fb7e3e0f7cede134e84bb7
      https://github.com/RIOT-OS/RIOT/commit/f7797cca971e275ce0fb7e3e0f7cede134e84bb7
  Author: Cenk Gündoğan <mail-github at cgundogan.de>
  Date:   2017-03-28 (Tue, 28 Mar 2017)

  Changed paths:
    M dist/tools/vagrant/README.md

  Log Message:
  -----------
  Merge pull request #6747 from emmanuelsearch/vagrant-readme

vagrant: improved instructions in vagrant README for adding new boards


Compare: https://github.com/RIOT-OS/RIOT/compare/5928de09b408...f7797cca971e