[riot-commits] [RIOT-OS/RIOT] 504437: vagrant: add info to README.md for Windows quirks

[Peter Kietzmann]

  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 50443708aad7d6c42a7089f50eb8417fdc5cc991
      https://github.com/RIOT-OS/RIOT/commit/50443708aad7d6c42a7089f50eb8417fdc5cc991
  Author: Cenk Gündoğan <mail-github at cgundogan.de>
  Date:   2017-11-10 (Fri, 10 Nov 2017)

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

  Log Message:
  -----------
  vagrant: add info to README.md for Windows quirks


  Commit: 40e2a5a5f1511d91a3d652912c1cc510f68208aa
      https://github.com/RIOT-OS/RIOT/commit/40e2a5a5f1511d91a3d652912c1cc510f68208aa
  Author: Peter Kietzmann <peter.kietzmann at haw-hamburg.de>
  Date:   2017-11-10 (Fri, 10 Nov 2017)

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

  Log Message:
  -----------
  Merge pull request #7997 from cgundogan/pr/vagrant_info

vagrant: add info to README.md for Windows quirks


Compare: https://github.com/RIOT-OS/RIOT/compare/d91afad2902d...40e2a5a5f151