update vagrant version: usually too old in distributions, get it from
authorkwadronaut <kwadronaut@leap.se>
Mon, 12 May 2014 16:37:17 +0000 (18:37 +0200)
committerkwadronaut <kwadronaut@leap.se>
Mon, 12 May 2014 16:37:17 +0000 (18:37 +0200)
commite04fa7799c7062477b163d49cfb4a83f318e5198
treeffdd367c11b38fa6c025558298b150f6248b429a
parent77a278fa2df2fecb46f0c723cb1f1078c6cfcb7f
update vagrant version: usually too old in distributions, get it from
vagrantup
docs/platform/development.md