chiark / gitweb /
docs: update vagrant link
authorBoris Kraut <krt@nurfuerspam.de>
Tue, 20 Sep 2016 09:38:12 +0000 (11:38 +0200)
committerBoris Kraut <krt@nurfuerspam.de>
Tue, 20 Sep 2016 09:38:12 +0000 (11:38 +0200)
commit42031031e669d7d1c574939a0e234ad42dc769c9
treedbaff23ba9909bf88f683799240ee9cae7b053b9
parent89010a1ba5fed0970dca157273378cf1a9f0322f
docs: update vagrant link
docs/fdroid.texi