chiark / gitweb /
Merge branch 'vagrant' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 20 Sep 2016 16:19:08 +0000 (16:19 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 20 Sep 2016 16:19:08 +0000 (16:19 +0000)
commitee54fbc1b81b22d65fb6573dfaa068293a81f4c1
treedbaff23ba9909bf88f683799240ee9cae7b053b9
parent89010a1ba5fed0970dca157273378cf1a9f0322f
parent42031031e669d7d1c574939a0e234ad42dc769c9
Merge branch 'vagrant' into 'master'

docs: update vagrant link

As pointed out in https://f-droid.org/forums/topic/documentation-bug-fix-report/#post-21839 , the link to the vagrant doc is 404. I'd assume that this is the correct link, but please verify this before merge.

See merge request !169